leonv/resumee-website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
resumee-website/content/project/pcf/index.md

557 B
Raw Blame History

title summary tags date external_link links url_code url_pdf url_slides url_video
PCF Interpreter and Typechecker A small interpreter and typechecker for [PCF](https://en.wikipedia.org/wiki/Programming_Computable_Functions) (Programming Computable Functions)
Haskell
Programming Languages
2024-04-05 https://git.vatthauer.xyz/TypeTheory/PCF
icon icon_pack name url
git-alt fab Repo https://git.vatthauer.xyz/TypeTheory/PCF