Commits · 23065cae16be098c07097eab0c9481594f59be1b · Ari Angga Nugraha / ariangganugraha-funpro2020-lambda

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
Oct 20, 2016
- Fix another typo · 56d59e4c
  Sean Gillespie authored 8 years ago
  
  56d59e4c
- Try to fix README typos · 003412fe
  Sean Gillespie authored 8 years ago
  
  003412fe
- Fix typo docs=>doc · b077bf37
  Sean Gillespie authored 8 years ago
  
  b077bf37
- Move readme back to root · c0d6cd4f
  Sean Gillespie authored 8 years ago
  
  c0d6cd4f
- Add a README and move the rest into doc/ · e830cb6e
  Sean Gillespie authored 8 years ago
  
  e830cb6e
Oct 19, 2016
- Add more power examples · d09dd0ba
  Sean Gillespie authored 8 years ago
  
  d09dd0ba