Pinned Loading

1. prime-checker prime-checker Public

   multi threaded prime checker using concurrency in haskell

   Haskell

2. type-inference type-inference Public

   peforming type inference on a small language based on simply typed lambda-calculus

   Haskell

3. lambda-lifting lambda-lifting Public

   performing lambda-lifting on a minimal language based on simply typed lambda-calculus

   Haskell

4. campl campl Public

   Forked from campl-ucalgary/campl

   Haskell

5. adChangeTracker adChangeTracker Public

   JavaScript

6. checkers-game checkers-game Public

   Checkers game implemented in Haskell

   Haskell