This website requires JavaScript.
Explore
Help
Sign in
TypeTheory
/
PCF
Watch
1
Star
0
Fork
You've already forked PCF
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
3
commits
1
branch
0
tags
38
KiB
main
Commit graph
3 commits
Author
SHA1
Message
Date
reijix
3b18671079
Implemented typechecking (not 100% correct)
2023-06-01 12:25:20 +02:00
reijix
c11d46956b
Defining project outline
2023-06-01 09:30:14 +02:00
reijix
531ec6e412
Initial commit from template
2023-06-01 09:24:50 +02:00