zsparks/scheme-dep
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
Developer Profile
zsparks
Discovered public repositories for zsparks in the GitHub catalog.
zsparks/rust-stuff
Stuff. In rust.
zsparks/poutine
Fake cheese. Real types. Extra gravy.
zsparks/fun-mod
Fundamentals of Modularity