GitHub - sweirich/pi-forall: A demo implementation of a simple dependently-typed language - discu.eu

Linking pages

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell | The Type Theory Podcast http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 24 comments

Linked pages

Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - sweirich/pi-forall: A demo implementation of a simple dependently-typed language

See how to search.

Submit link to: