This website requires JavaScript.
Explore
Help
Sign In
DanilaFe
/
bloglang
Watch
1
Star
0
Fork
0
You've already forked bloglang
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
68
Commits
1
Branch
0
Tags
230
KiB
8cbe59b6b2
Commit Graph
2 Commits
Author
SHA1
Message
Date
Danila Fedorin
207efc7ded
Make substitution replace types at every lookup step
2020-04-13 17:59:57 -07:00
Danila Fedorin
379a64f379
Add parsed type data structure, type application and arity.
2020-04-13 17:08:03 -07:00