Commits · 2472f995c30e42578e47dbf014fae41cf32b93c0 · Ari Angga Nugraha / ariangganugraha-funpro2020-lambda

Dec 02, 2016
- Remove some whitespace · 2472f995
  Sean Gillespie authored 8 years ago
  
  2472f995
- Update system-f.doc · 1e5d6e90
  Sean Gillespie authored 8 years ago
  1e5d6e90
Nov 24, 2016
- Update system-f.md: Reword STLC intro · b9a4cd8d
  Sean Gillespie authored 8 years ago
  
  b9a4cd8d
Nov 23, 2016
- Update system-f.doc · 6f18116c
  Sean Gillespie authored 8 years ago
  6f18116c
- Update system-f.md--the introduction · 63a45a18
  Sean Gillespie authored 8 years ago
  
  63a45a18
- Update system-f.md · 44f8234a
  Sean Gillespie authored 8 years ago
  44f8234a
- Update System F doc · 92afbc2b
  Sean Gillespie authored 8 years ago
  92afbc2b
Nov 16, 2016
- Update System F doc: Add references · 212582f8
  Sean Gillespie authored 8 years ago
  
  212582f8
- Reformat System F doc. · e8679ae9
  Sean Gillespie authored 8 years ago
  
  e8679ae9
- Update System F doc · ab400d00
  Sean Gillespie authored 8 years ago
  ab400d00
Nov 15, 2016
- Update System F doc · 359a98ad
  Sean Gillespie authored 8 years ago
  359a98ad
Nov 07, 2016
- System F: Add a types intro · 72446cdd
  Sean Gillespie authored 8 years ago
  
  72446cdd
- Update System F: Add another introduction to Sys F · 70f64c64
  Sean Gillespie authored 8 years ago
  
  70f64c64
- Update System F doc · ac60b419
  Sean Gillespie authored 8 years ago
  ac60b419
Nov 06, 2016
- Fix typo · 28b4e612
  Sean Gillespie authored 8 years ago
  
  28b4e612
- Update System F doc--add typing example · 22fd4792
  Sean Gillespie authored 8 years ago
  
  22fd4792
- Update System F doc · 72a756bf
  Sean Gillespie authored 8 years ago
  72a756bf
- Update system-f.doc · 76d8dc0b
  Sean Gillespie authored 8 years ago
  76d8dc0b
- Update system-f.md--finish the syntax section. · fb00dd7b
  Sean Gillespie authored 8 years ago
  
  fb00dd7b
Nov 05, 2016
- Add an STLC syntax section · 23065cae
  Sean Gillespie authored 8 years ago
  
  23065cae
- Add association examples · 1b690c8c
  Sean Gillespie authored 8 years ago
  
  1b690c8c
Nov 04, 2016
- Update system-f doc--Rewrite the STLC intro · d90bacf5
  Sean Gillespie authored 8 years ago
  
  d90bacf5
Nov 01, 2016
- Update system-f.md · d34ee852
  Sean Gillespie authored 8 years ago
  d34ee852
- Fix typo: rarr; -> → · 3f0e9feb
  Sean Gillespie authored 8 years ago
  
  3f0e9feb
- Update system-f.doc--rewrite simple types section. · f6681ce9
  Sean Gillespie authored 8 years ago
  f6681ce9
- Reorganize system-f.doc · 52802822
  Sean Gillespie authored 8 years ago
  52802822
- At a type context section · a83a8637
  Sean Gillespie authored 8 years ago
  
  a83a8637
Oct 31, 2016
- Update system-f.md · 319d1c50
  Sean Gillespie authored 8 years ago
  319d1c50
- Update System F doc · efa2fbcb
  Sean Gillespie authored 8 years ago
  efa2fbcb
Oct 30, 2016
- Add a system-f introduction · 9b5b5577
  Sean Gillespie authored 8 years ago
  
  9b5b5577
- Add a new doc system-f · 60c45f99
  Sean Gillespie authored 8 years ago
  
  60c45f99
Oct 24, 2016
- Add an upper limit to base · 2d7eb25c
  Sean Gillespie authored 8 years ago
  
  2d7eb25c
- Add build badge · 749d03b8
  Sean Gillespie authored 8 years ago
  
  749d03b8
- Fix references to old name · acb1cbca
  Sean Gillespie authored 8 years ago
  
  acb1cbca
- 0.5.0 · 33198f30
  Sean Gillespie authored 8 years ago
  
  33198f30
- Rename lamda-calculus=>lambda-calculator · 903edff7
  Sean Gillespie authored 8 years ago
  
  903edff7
- 0.4.0 · 8500f6c3
  Sean Gillespie authored 8 years ago
  
  8500f6c3
- Remove multiple ghcs · d73ad2e0
  Sean Gillespie authored 8 years ago
  
  d73ad2e0
- Try again to fix build · b242b99e
  Sean Gillespie authored 8 years ago
  
  b242b99e
- Try again to fix the build · 80adb6bb
  Sean Gillespie authored 8 years ago
  
  80adb6bb