- 16 Nov, 2020 1 commit
-
-
Ari Nugraha authored
-
- 14 Nov, 2020 2 commits
-
-
Ari Nugraha authored
-
Ari Nugraha authored
-
- 12 Nov, 2020 2 commits
-
-
Ari Nugraha authored
-
Ari Nugraha authored
-
- 11 Nov, 2020 1 commit
-
-
Ari Nugraha authored
-
- 28 Jan, 2018 3 commits
-
-
Sean Gillespie authored
Try to avoid creating captures
-
Sean Gillespie authored
-
Sean Gillespie authored
-
- 26 Jan, 2018 1 commit
-
-
Sean Gillespie authored
-
- 23 Jan, 2018 1 commit
-
-
Sean Gillespie authored
-
- 21 Jan, 2018 3 commits
-
-
Sean Gillespie authored
-
Sean Gillespie authored
Ignore elisp files
-
Sean Gillespie authored
* Use haskeline to alleviate headaches * Update to latest lts
-
- 26 Dec, 2017 2 commits
-
-
Sean Gillespie authored
-
Sean Gillespie authored
-
- 20 Jun, 2017 1 commit
-
-
Sean Gillespie authored
-
- 07 Apr, 2017 4 commits
-
-
Sean Gillespie authored
* Fix formatting * Update GHC >= 8
-
Sean Gillespie authored
-
Sean Gillespie authored
-
Sean Gillespie authored
-
- 08 Mar, 2017 1 commit
-
-
Sean Gillespie authored
Implement Type Application
-
- 04 Mar, 2017 1 commit
-
-
Sean Gillespie authored
* Refactor types * Add Type Abstraction
-
- 08 Jan, 2017 3 commits
-
-
Sean Gillespie authored
-
Sean Gillespie authored
Add a universal type
-
Sean Gillespie authored
Add rules for application and type abstraction
-
- 07 Jan, 2017 1 commit
-
-
Sean Gillespie authored
-
- 03 Jan, 2017 4 commits
-
-
Sean Gillespie authored
-
Sean Gillespie authored
Set optparse-applicative < 0.13, since 0.13 introduced breaking changes
-
Sean Gillespie authored
-
Sean Gillespie authored
-
- 31 Dec, 2016 9 commits
-
-
Sean Gillespie authored
-
Sean Gillespie authored
-
Sean Gillespie authored
-
Sean Gillespie authored
Add type application
-
Sean Gillespie authored
* Add type abstraction `\X. body` * enforce case for variable names * Types begin with a capital * Variables begin with a lower
-
Sean Gillespie authored
X->Y -> Z => X->Y->Z
-
Sean Gillespie authored
Add type parser to abs parser
-
Sean Gillespie authored
Split parser into two separate parsers * Expression Parser * Type parser
-
Sean Gillespie authored
If we are printing an abs arg, supress the spaces between arrows
-