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

#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