Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mafii/mafi-lambda-calculus issues and pull requests

#11 - Support delta reduction (𝛿-reduction) aka unrolling

Issue - State: open - Opened by Mafii almost 2 years ago

#10 - Step by Step reducer (incomplete)

Pull Request - State: open - Opened by Mafii almost 2 years ago

#9 - Set WTFPL license correctly

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

#8 - Remove lots of flags from files

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

#7 - Refactor tokenizer

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

#6 - Comment support with # as indicator

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

#5 - Remove unused matches and enable warnings for them

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

#4 - Additional cleanup

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

#3 - Cleanup

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

#2 - Allow backslash as alternative to λ

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

#1 - Setup CI

Pull Request - State: closed - Opened by bash almost 2 years ago - 1 comment