school/csci8980-s22
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
1 commit 1 branch 0 tags 112 KiB
Vim Script 54.3%
Agda 18.9%
TeX 15.4%
Nix 9.9%
Makefile 1.5%
Find a file
Michael Zhang 1ff3f37eb8
Start new project
2021-12-07 12:32:30 -06:00
.gitignore Start new project 2021-12-07 12:32:30 -06:00
Justfile Start new project 2021-12-07 12:32:30 -06:00
main.tex Start new project 2021-12-07 12:32:30 -06:00