Commits · e6fa7b6fe8a4f0c7fe765f2a66d2841ec0a4258b · Ari Angga Nugraha / ariangganugraha-funpro2020-lambda

Nov 12, 2020
- update README.md · e6fa7b6f
  Ari Nugraha authored 4 years ago
  
  e6fa7b6f
Nov 11, 2020
- add conversion from number to church numeral · d1a6605a
  Ari Nugraha authored 4 years ago
  
  d1a6605a
Jan 28, 2018
- Update `subGlobals` logic · ff34b261
  Sean Gillespie authored 7 years ago
  ff34b261
- Add let support in Lambda evaluator · c8ab7d2d
  Sean Gillespie authored 7 years ago
  
  c8ab7d2d
- Make sure we print a newline after the evalutation result · 0e5d2f7d
  Sean Gillespie authored 7 years ago
  
  0e5d2f7d
Jan 26, 2018
- Add support for let expressions in parser and pretty printer · a35e8d0a
  Sean Gillespie authored 7 years ago
  
  a35e8d0a
Jan 23, 2018
- More infrastructure work to add globals · 0aa1b1db
  Sean Gillespie authored 7 years ago
  
  0aa1b1db
Jan 21, 2018
- Prerequisites for supporting Global state · cba6a55d
  Sean Gillespie authored 7 years ago
  
  cba6a55d
- Update gitignore · af6297b7
  Sean Gillespie authored 7 years ago
  af6297b7
- Replace readline with haskeline · 5db4b3db
  Sean Gillespie authored 7 years ago
  5db4b3db
Dec 26, 2017
- Add hpack · 92601a23
  Sean Gillespie authored 7 years ago
  
  92601a23
- Upgrade lts-10.0 · 8fc8ff12
  Sean Gillespie authored 7 years ago
  
  8fc8ff12
Jun 20, 2017
- Upgrade to lts@latest · 7166e105
  Sean Gillespie authored 7 years ago
  
  7166e105
Apr 07, 2017
- Update README · 93ca6c76
  Sean Gillespie authored 8 years ago
  93ca6c76
- Bump to 2.0.0 · 61f66c5d
  Sean Gillespie authored 8 years ago
  
  View commits for tag v2.0.0 v2.0.0
  
  61f66c5d
- Update base < 5 · 3793d3cc
  Sean Gillespie authored 8 years ago
  
  3793d3cc
- Upgrade to Stackage LTS@8.8 · 9dc03e17
  Sean Gillespie authored 8 years ago
  
  9dc03e17
Mar 08, 2017
- Update SystemF TypeChecker · 548b576a
  Sean Gillespie authored 8 years ago
  548b576a
Mar 04, 2017
- Update SystemF typechecker · 965ea5d0
  Sean Gillespie authored 8 years ago
  965ea5d0
Jan 08, 2017
- Update SystemF Expression test · f7e2b56e
  Sean Gillespie authored 8 years ago
  
  f7e2b56e
- Update SystemF syntax · b018774d
  Sean Gillespie authored 8 years ago
  b018774d
- Update SystemF Type checker · 3a94b6c4
  Sean Gillespie authored 8 years ago
  3a94b6c4
Jan 07, 2017
- Add a small typechecker · 8c853941
  Sean Gillespie authored 8 years ago
  
  8c853941
Jan 03, 2017
- v1.1.1 · 9fabf263
  Sean Gillespie authored 8 years ago
  
  View commits for tag v1.1.1 v1.1.1
  
  9fabf263
- Fix cabal build · 8b1a186b
  Sean Gillespie authored 8 years ago
  8b1a186b
- v1.1.0 · dec1e6ba
  Sean Gillespie authored 8 years ago
  
  View commits for tag v1.1.0 v1.1.0
  
  dec1e6ba
- Make System F a secret feature · 2df90011
  Sean Gillespie authored 8 years ago
  
  2df90011
Dec 31, 2016
- Add an hlint test suite · 47e9376c
  Sean Gillespie authored 8 years ago
  
  47e9376c
- Refactor based on static analysis · 435251b3
  Sean Gillespie authored 8 years ago
  
  435251b3
- Refactor based on static analysis · 6cc049ac
  Sean Gillespie authored 8 years ago
  
  6cc049ac
- Update System F parser · dbc536ac
  Sean Gillespie authored 8 years ago
  dbc536ac
- Update System F parser · 3e8c332e
  Sean Gillespie authored 8 years ago
  3e8c332e
- Fix System F pretty printer · 3aca5ff7
  Sean Gillespie authored 8 years ago
  3aca5ff7
- Update System F parser · d944c6ee
  Sean Gillespie authored 8 years ago
  d944c6ee
- Update System F parser · 4cfdc6f5
  Sean Gillespie authored 8 years ago
  4cfdc6f5
- Refactor System F prettyPrinter · b160e65a
  Sean Gillespie authored 8 years ago
  b160e65a
- Update SystemF Expression · b3179acc
  Sean Gillespie authored 8 years ago
  b3179acc
- Add a Type type · 56c90b9e
  Sean Gillespie authored 8 years ago
  
  56c90b9e
Dec 30, 2016
- Add an abstraction parser for Sys F · 006a76b6
  Sean Gillespie authored 8 years ago
  
  006a76b6
- Update SystemF module · 210b55f9
  Sean Gillespie authored 8 years ago
  
  210b55f9