jiangsy/oplss_22
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
4 commits 1 branch 0 tags 69 KiB
  • Haskell 80.8%
  • Agda 19.2%
Find a file
Exact
Shengyi Jiang a474dfc291 add exercise of cubical tt
2022-07-01 20:40:19 -07:00
pi-forall add hw1 of pi-forall 2022-06-29 13:31:52 -07:00
type_theory add exercise of cubical tt 2022-07-01 20:40:19 -07:00
.gitignore add hw1 of pi-forall 2022-06-29 13:31:52 -07:00