Commits · 8fc8ff12d6eb2dc0d010c9cd090e42dece9484c7 · Ari Angga Nugraha / ariangganugraha-funpro2020-lambda

Dec 26, 2017
- 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
- Refactor `Main` · 92682443
  Sean Gillespie authored 8 years ago
  92682443
- Delete defunct module `Eval` · 81028fb8
  Sean Gillespie authored 8 years ago
  
  81028fb8
- Refactor Main · dce8069a
  Sean Gillespie authored 8 years ago
  dce8069a
Dec 24, 2016
- Factor out "evalString" into a common type class · a9110a65
  Sean Gillespie authored 8 years ago
  
  a9110a65
- Add some boilerplate for SystemF entrypoint · 94ed6bfe
  Sean Gillespie authored 8 years ago
  
  94ed6bfe
- Move PrettyPrint -> Util/PrettyPrint · 136c7d77
  Sean Gillespie authored 8 years ago
  
  136c7d77
- Add a basic System F parser · d89a49fb
  Sean Gillespie authored 8 years ago
  
  d89a49fb
Dec 18, 2016
- Fix hlint errors · a9695371
  Sean Gillespie authored 8 years ago
  
  a9695371
- Finish Sys F pretty printer · 4591a88d
  Sean Gillespie authored 8 years ago
  4591a88d
- Refactor based on static analysis · 29c38aaf
  Sean Gillespie authored 8 years ago
  
  29c38aaf
- Add SystemF expression · 55cd9523
  Sean Gillespie authored 8 years ago
  
  55cd9523