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

Sep 22, 2016
- Generate an hs project from stack · cbb64331
  Sean Gillespie authored 8 years ago
  
  cbb64331
- Merge pull request #1 from hoop33/master · 64a9bd53
  Sean Gillespie authored 8 years ago
  64a9bd53
Sep 21, 2016
- Fix: · 549cfbdf
  Rob Warner authored 8 years ago
  
  549cfbdf
- Fix: "it's" s/b "its" · 804d92ac
  Rob Warner authored 8 years ago
  
  804d92ac
- Fix: "concreate" s/b "concrete" · cb93c0dc
  Rob Warner authored 8 years ago
  
  cb93c0dc
- Fix: "maybe be" s/b "may be" · 8d2a279c
  Rob Warner authored 8 years ago
  
  8d2a279c
Sep 13, 2016
- Add a conclusion · 9a97776a
  Sean Gillespie authored 8 years ago
  
  9a97776a
- Simplify the boolean example · d0ebe17f
  Sean Gillespie authored 8 years ago
  
  d0ebe17f
Sep 12, 2016
- Fix typos · a9f56f92
  Sean Gillespie authored 8 years ago
  
  a9f56f92
- Complete the boolean example · 269ac791
  Sean Gillespie authored 8 years ago
  
  269ac791
- Clean up Boolean section and add a real example · dc03809b
  Sean Gillespie authored 8 years ago
  
  dc03809b
Sep 09, 2016
- Add boolean logic examples · 14eff35b
  Sean Gillespie authored 8 years ago
  
  14eff35b
Sep 08, 2016
- Fix a few more typos · a7cc08a3
  Sean Gillespie authored 8 years ago
  
  a7cc08a3
- Fix a wording typo · 6d6d8cae
  Sean Gillespie authored 8 years ago
  
  6d6d8cae
- Finish arithmetic example · 0b5f1f64
  Sean Gillespie authored 8 years ago
  
  0b5f1f64
- Clean up examples a bit · 6f23d8fd
  Sean Gillespie authored 8 years ago
  
  6f23d8fd
Sep 06, 2016
- Begin an examples section · 5cb70404
  Sean Gillespie authored 8 years ago
  
  5cb70404
Sep 02, 2016
- Add eta-reduction · 0dc5073c
  Sean Gillespie authored 8 years ago
  
  0dc5073c
Sep 01, 2016
- Add an alpha conversion section · 58075996
  Sean Gillespie authored 8 years ago
  
  58075996
- Clean up name capture section · 3900382d
  Sean Gillespie authored 8 years ago
  
  3900382d
- Add an introduction on name conflicts · 29aae5b3
  Sean Gillespie authored 8 years ago
  
  29aae5b3
Aug 30, 2016
- Add another Beta example · 4301c557
  Sean Gillespie authored 8 years ago
  
  4301c557
- Add a "Beta" rule · f501fbde
  Sean Gillespie authored 8 years ago
  
  f501fbde
- Add an "Evaluation" section · f1215187
  Sean Gillespie authored 8 years ago
  
  f1215187
Aug 25, 2016
- Update layout · 8ade652a
  Sean Gillespie authored 8 years ago
  
  8ade652a
- Add a section on currying · bf47fc01
  Sean Gillespie authored 8 years ago
  bf47fc01
Aug 19, 2016
- Add a scoping section · c85ea2b2
  Sean Gillespie authored 8 years ago
  
  c85ea2b2
Aug 16, 2016
- Reword examples · 738bb240
  Sean Gillespie authored 8 years ago
  
  738bb240
Aug 02, 2016
- Add some more church numeral examples · e5bb640b
  Sean Gillespie authored 8 years ago
  
  e5bb640b
- Begin an examples section · 5db1bb33
  Sean Gillespie authored 8 years ago
  
  5db1bb33
- Add reference placeholders [?] · ad85c8c2
  Sean Gillespie authored 8 years ago
  
  ad85c8c2
Jul 29, 2016
- Add a syntax section · 54ef32d3
  Sean Gillespie authored 8 years ago
  
  54ef32d3
- Complete the introduction · f53c9874
  Sean Gillespie authored 8 years ago
  
  f53c9874
Jul 28, 2016
- Update title wording · be721907
  Sean Gillespie authored 8 years ago
  
  be721907
- Fix typo · 78167d9b
  Sean Gillespie authored 8 years ago
  
  78167d9b
- Add a small introduction · 58c87084
  Sean Gillespie authored 8 years ago
  
  58c87084
Jul 15, 2016
- Initial commit · 23d2b8db
  Sean Gillespie authored 8 years ago
  
  23d2b8db