1. 25 Jan, 2016 4 commits
  2. 18 Jan, 2016 1 commit
  3. 28 Dec, 2015 3 commits
  4. 21 Dec, 2015 1 commit
  5. 27 Oct, 2015 1 commit
  6. 21 Sep, 2015 6 commits
  7. 14 Sep, 2015 2 commits
  8. 07 Sep, 2015 1 commit
  9. 03 Sep, 2015 1 commit
  10. 31 Aug, 2015 1 commit
  11. 30 Aug, 2015 2 commits
  12. 29 Aug, 2015 1 commit
  13. 28 Aug, 2015 3 commits
  14. 27 Aug, 2015 2 commits
  15. 26 Aug, 2015 1 commit
  16. 25 Aug, 2015 2 commits
  17. 24 Aug, 2015 2 commits
  18. 22 Aug, 2015 1 commit
  19. 21 Aug, 2015 1 commit
  20. 20 Aug, 2015 2 commits
  21. 19 Aug, 2015 2 commits
    • Laszlo Domoszlai's avatar
      fib works (uses a hell lot of memory) · 87e99838
      Laszlo Domoszlai authored
      87e99838
    • Laszlo Domoszlai's avatar
      + pattern matching · eab928c6
      Laszlo Domoszlai authored
      + local vars
      current running maximum:
      
      :: _predefined._List = _predefined._Cons a1 a2 | _predefined._Nil
      
      example.map f_0 !_x_1 = select _x_1 (_predefined._Nil -> _predefined._Nil) (_predefined._Cons a_1_0 as_1_1 -> _predefined._Cons (f_0 a_1_0) (example.map f_0 as_1_1))
      example.inc !a_0 = add a_0 1
      example.Start = example.map example.inc (_predefined._Cons 1 (_predefined._Cons 2 (_predefined._Cons 3 _predefined._Nil)))
      eab928c6