steshaw/pi-forall
A demo implementation of a simple dependently-typed language
Public GitHub Catalog
Discovered Oct 31, 2026
steshaw / pfpl
PFPL
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#45776592GitHub System ID
steshawOrganization / User
PublicVisibility
ActiveCatalog Status
More from steshaw
steshaw/kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
steshaw/type-theory-study-group-2015
Resources for Type Theory Study Group 2015
steshaw/learn-tt
A collection of resources for learning type theory.