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 7 months ago

#20 - typo in 2nd diagram (of commutation law)

Issue - State: open - Opened by tribbloid 8 months ago - 1 comment

#19 - Update README.md

Pull Request - State: closed - Opened by kings177 about 1 year ago

#18 - Handle CLRF whitespace of .ic files

Pull Request - State: open - Opened by stevenhuyn over 1 year ago

#17 - nitpicks

Pull Request - State: open - Opened by adamnemecek over 1 year ago - 2 comments

#16 - Some programs make it hang/loop forever

Issue - State: open - Opened by Boscop over 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 almost 2 years ago - 2 comments

#10 - Fixed broken links

Pull Request - State: closed - Opened by kings177 almost 2 years ago

#9 - Clean up

Pull Request - State: closed - Opened by azdavis almost 3 years ago - 1 comment

#8 - Example stackoverflow

Issue - State: closed - Opened by ice1000 almost 6 years ago

#7 - Use version in Cargo.toml instead of hard-coded

Pull Request - State: closed - Opened by ice1000 almost 6 years ago - 1 comment

#6 - Remove trailing whitespaces, update SIC version in Cargo.lock

Pull Request - State: closed - Opened by ice1000 almost 6 years ago - 2 comments

#5 - Error in rewrite implementation

Issue - State: closed - Opened by emturner about 6 years ago - 2 comments

#4 - Add extension for non-deterministic choice

Issue - State: open - Opened by rashane-murray about 6 years ago - 1 comment

#3 - More explanation about the relation to symmetric interaction combinators

Issue - State: closed - Opened by WorldSEnder about 6 years ago - 4 comments

#2 - benchmarks for comparison

Issue - State: closed - Opened by liangdzou about 6 years ago - 1 comment

#1 - Naming

Issue - State: open - Opened by VictorTaelin over 6 years ago - 6 comments