Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
type-theory-hw
Oktai15/type-theory-hw
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
91mo ago
Recent commits
Latest commits.
Delete hw1.out
dcd0732
Oktai Tatanov
91mo ago
Delete hw1_reduction.out
3fa6454
Oktai Tatanov
91mo ago
Delete hw2_unify.out
1abcca3
Oktai Tatanov
91mo ago
Delete hw2_inference.out
cc9139c
Oktai Tatanov
91mo ago
Minor: hw2 was fixed
0db01a8
Oktai15
109mo ago
hw1_red and hw2_inf have been done
12ce846
Oktai15
109mo ago
Major: fix bug in parser
61ab9cc
Oktai15
110mo ago
Minor: fix bugs
e1e4801
Oktai15
110mo ago
Top contributors
Builders behind this project.
Oktai15
18 commits
