@zsparks
github

zsparks

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 6
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    Haskell
         50.0 %
    Scheme
         50.0 %

Top repositories

1

scheme-dep

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

poutine

Fake cheese. Real types. Extra gravy.
Haskell
3
star
3

fun-mod

Fundamentals of Modularity
2
star