Ecosyste.ms: Issues

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

GitHub / johnchildren/pie issues and pull requests

#21 - Misc changes

Pull Request - State: closed - Opened by johnchildren about 5 years ago

#21 - Misc changes

Pull Request - State: closed - Opened by johnchildren about 5 years ago

#20 - Print-parse fails for some inputs

Issue - State: open - Opened by johnchildren over 5 years ago
Labels: bug

#20 - Print-parse fails for some inputs

Issue - State: open - Opened by johnchildren over 5 years ago
Labels: bug

#19 - Italicize dimmed variables in ANSI output

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#19 - Italicize dimmed variables in ANSI output

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#18 - Change the way alphaEquiv works a bit

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#18 - Change the way alphaEquiv works a bit

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#17 - Minor repl improvements

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#16 - Use fused-effects in eval

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#15 - Use fused-effects in typechecker

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#14 - Uses fused effects in places and expands testing

Pull Request - State: closed - Opened by johnchildren over 5 years ago

#13 - Docs

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#12 - Implement claims and improve readback

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#11 - Adds definitions and lists

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#10 - Adds further QOL improvements

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#9 - Uses nix to build in CI

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#8 - Refactors dimmed variables a bit

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#7 - WIP: Typechecker

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#6 - Megaparsec

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

#5 - Quasiquoter

Issue - State: open - Opened by johnchildren almost 6 years ago
Labels: enhancement

#4 - Moves judgements to a new module and ports tests

Pull Request - State: closed - Opened by johnchildren almost 6 years ago

#3 - Move judgements into a new module

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

#2 - Implement a repl

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

#1 - Use a pretty printer for printing

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