Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Apr 30, 2015
  1. work on webgl backend

    authored
  2. fix

    authored
  3. strip dependencies

    authored
Commits on Apr 29, 2015
  1. @divipp

    simplification

    divipp authored
  2. @divipp

    support type-level literals

    divipp authored
  3. @divipp
  4. @divipp
  5. sort deps in cabal

    authored
Commits on Apr 28, 2015
  1. @divipp

    PrimitiveType kind

    divipp authored
  2. @divipp

    more GADTs in Prelude

    divipp authored
  3. @divipp

    bugfix

    divipp authored
  4. @divipp

    first version of GADTs

    divipp authored
  5. @divipp

    better module cache

    divipp authored
  6. @divipp

    cache Prelude loading

    divipp authored
  7. @divipp
  8. @divipp

    NatKind --> Nat

    divipp authored
  9. @divipp

    adjust test case

    divipp authored
  10. @divipp
  11. @divipp

    implement type arguments

    divipp authored
  12. @divipp

    refactoring

    divipp authored
  13. @divipp
  14. @divipp

    preparation for type arguments

    divipp authored
  15. cleanup

    authored
Commits on Apr 27, 2015
  1. @divipp

    move instances to Prelude

    divipp authored
Commits on Apr 26, 2015
  1. @divipp

    fix reduction (again)

    divipp authored
  2. @divipp
  3. @divipp

    simplify test case

    divipp authored
  4. @divipp

    eliminate primFunMap

    divipp authored
  5. @divipp

    List in Prelude

    divipp authored
  6. simpler test case

    authored
  7. simpler reduce test case

    authored
  8. @divipp

    cleanup

    divipp authored
Something went wrong with that request. Please try again.