PinnedLoading

1. type-checkertype-checkerPublic

   Simple implementation of ST LC type checker in Haskell

   Haskell 11

2. lambda-sigmalambda-sigmaPublic

   Explicit Substitution Calculus with DeBrujin indices

   Haskell 2

3. h-reversih-reversiPublic

   Haskell blank canvas reversi game

   Haskell 1

4. masters-thesismasters-thesisPublic

   Masters thesis work

   TeX 2

5. kind2kind2Public

   Forked fromkind2-mc/kind2

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

   OCaml

6. IowaFP/ghcIowaFP/ghcPublic

   A slightly more Glorious Haskell Compiler

   Haskell 2