Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / VictorTaelin/Interaction-Calculus issues and pull requests
#21 - Update README.md
Pull Request -
State: open - Opened by Zaffer 2 months ago
#20 - typo in 2nd diagram (of commutation law)
Issue -
State: open - Opened by tribbloid 4 months ago
- 1 comment
#19 - Update README.md
Pull Request -
State: closed - Opened by kings177 10 months ago
#18 - Handle CLRF whitespace of .ic files
Pull Request -
State: open - Opened by stevenhuyn 11 months ago
#17 - nitpicks
Pull Request -
State: open - Opened by adamnemecek about 1 year ago
- 2 comments
#16 - Some programs make it hang/loop forever
Issue -
State: open - Opened by Boscop about 1 year ago
- 2 comments
#15 - Add REF nodes for lazy allocation, and extract closed sub-exprs into new definitions
Pull Request -
State: open - Opened by Boscop over 1 year ago
#14 - Fixed not skipping whitespaces on application
Pull Request -
State: closed - Opened by Derenash over 1 year ago
#13 - fix: HOC/hvm link
Pull Request -
State: closed - Opened by kings177 over 1 year ago
#12 - Added logs to equal.rs
Pull Request -
State: closed - Opened by Derenash over 1 year ago
#11 - Fixed broken links
Pull Request -
State: closed - Opened by kings177 over 1 year ago
- 2 comments
#10 - Fixed broken links
Pull Request -
State: closed - Opened by kings177 over 1 year ago
#9 - Clean up
Pull Request -
State: closed - Opened by azdavis over 2 years ago
- 1 comment
#8 - Example stackoverflow
Issue -
State: closed - Opened by ice1000 over 5 years ago
#7 - Use version in Cargo.toml instead of hard-coded
Pull Request -
State: closed - Opened by ice1000 over 5 years ago
- 1 comment
#6 - Remove trailing whitespaces, update SIC version in Cargo.lock
Pull Request -
State: closed - Opened by ice1000 over 5 years ago
- 2 comments
#5 - Error in rewrite implementation
Issue -
State: closed - Opened by emturner almost 6 years ago
- 2 comments
#4 - Add extension for non-deterministic choice
Issue -
State: open - Opened by rashane-murray almost 6 years ago
- 1 comment
#3 - More explanation about the relation to symmetric interaction combinators
Issue -
State: closed - Opened by WorldSEnder almost 6 years ago
- 4 comments
#2 - benchmarks for comparison
Issue -
State: closed - Opened by liangdzou almost 6 years ago
- 1 comment
#1 - Naming
Issue -
State: open - Opened by VictorTaelin about 6 years ago
- 6 comments