Popular repositories Loading

1. scheme-dep scheme-dep Public

   A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

   Scheme 8 1

2. poutine poutine Public

   Fake cheese. Real types. Extra gravy.

   Haskell 3

3. fun-mod fun-mod Public

   Fundamentals of Modularity

   2

4. rust-stuff rust-stuff Public

   Stuff. In rust.

   Rust