Pinned Loading

1. upal upal Public

   A typechecker and lazy interpreter for System U

   Haskell 12

2. naskets naskets Public

   A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.

   Haskell 7

3. nothing-special nothing-special Public

   Yet another typechecker for a dependently typed language.

   Haskell 2