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

Nov 07, 2016
- 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
- Try to fix travis build · 8497a844
  Sean Gillespie authored 8 years ago
  
  8497a844
- Try to fix build by using stack · 9262cdef
  Sean Gillespie authored 8 years ago
  
  9262cdef
- Try to fix travis build · 7fa484aa
  Sean Gillespie authored 8 years ago
  
  7fa484aa
- Update base dependency · af64cc7e
  Sean Gillespie authored 8 years ago
  
  af64cc7e
- Try to force travis to run · ea97b964
  Sean Gillespie authored 8 years ago
  
  ea97b964
- Add a travis-ci file · 891843f0
  Sean Gillespie authored 8 years ago
  
  891843f0
- 0.3.0 · 02a3b332
  Sean Gillespie authored 8 years ago
  
  02a3b332
- Update function `uniques` · bdf2240e
  Sean Gillespie authored 8 years ago
  bdf2240e
Oct 22, 2016
- Fix small typo · b11cad33
  Sean Gillespie authored 8 years ago
  
  b11cad33
- Add pair examples · 4a60ce26
  Sean Gillespie authored 8 years ago
  
  4a60ce26
- Add an HspecUtils module · 2e5b4e34
  Sean Gillespie authored 8 years ago
  
  2e5b4e34
- Add Boolean examples · 30c2f754
  Sean Gillespie authored 8 years ago
  
  30c2f754
- Add "dist" to .gitignore · 8cd43842
  Sean Gillespie authored 8 years ago
  
  8cd43842