Pinned Loading

1. type-checker type-checker Public

   Simple implementation of ST LC type checker in Haskell

   Haskell 8

2. lambda-sigma lambda-sigma Public

   Explicit Substitution Calculus with DeBrujin indices

   Haskell 2

3. h-reversi h-reversi Public

   Haskell blank canvas reversi game

   Haskell 1

4. masters-thesis masters-thesis Public

   Masters thesis work

   TeX 2

5. kind2 kind2 Public

   Forked from kind2-mc/kind2

   Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

   OCaml

6. IaFP/ghc IaFP/ghc Public

   A slightly more Glorious Haskell Compiler

   Haskell 2