Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dorchard/lambda-club issues and pull requests
#19 - Implementation of {CBN, CBV, FullBeta} redex strategies
Pull Request -
State: closed - Opened by graymalkin almost 5 years ago
- 5 comments
#18 - Pairs and sums
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#17 - Some fixes for bound/free vars
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
#16 - PCF semantics, typing, and pretty-printing
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#15 - Fixes after Wed session
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#14 - More Church encoding examples
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#14 - More Church encoding examples
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#13 - Lam: +Boolean algebra program; +fibonacci
Pull Request -
State: closed - Opened by raehik almost 5 years ago
- 1 comment
#12 - Lambda Club: ignore Stack local cache stuff
Pull Request -
State: closed - Opened by raehik almost 5 years ago
- 1 comment
#11 - Pretty printing and bound/free variables
Pull Request -
State: closed - Opened by hrutvik almost 5 years ago
- 1 comment
#10 - Add whiteboard capture for session 1
Pull Request -
State: closed - Opened by GuiltyDolphin almost 5 years ago
#9 - Parsing
Issue -
State: open - Opened by graymalkin over 6 years ago
#8 - example expression interpreter in OCaml
Pull Request -
State: closed - Opened by graymalkin over 6 years ago
#7 - memoize with immutable arrays
Pull Request -
State: closed - Opened by rgrig over 6 years ago
- 3 comments
#6 - Optimising the Haskell Sierpinski solution
Issue -
State: open - Opened by dorchard over 7 years ago
#5 - Hugo's version of serpinsky triangle
Pull Request -
State: closed - Opened by hferee over 7 years ago
#4 - sol to some hackerrank pb
Pull Request -
State: closed - Opened by rgrig over 7 years ago
#3 - Coq file for the λ-club session on Curry-Howard isomorphism
Pull Request -
State: closed - Opened by hferee almost 8 years ago
- 1 comment
#2 - Stuff with (G)ADTs
Pull Request -
State: closed - Opened by Lysxia almost 8 years ago
- 1 comment
#1 - Scaling of notes in the 'Num' instance for synthesiser is not very good.
Issue -
State: open - Opened by dorchard almost 8 years ago