michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2239 commits 2 branches 4 tags 85 MiB
Commit graph

2 commits

Author Message Date
Hemant Gouni
9dc763832f Make .direnv via direnv 2021-08-17 16:32:08 +00:00
Hemant Gouni
c2c3cce920 Allow nix to manage agda 2021-08-16 22:04:03 +00:00