steshaw/pfpl
PFPL
Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
PFPL
Haskell LLVM Kaleidoscope Tutorial
Resources for Type Theory Study Group 2015
A collection of resources for learning type theory.