csci8980-favonia

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/csci8980-favonia.git
.gitignore ... 17 hours ago
agda ... 17 hours ago
core.scm ... 22 days ago
docker-agda ... a month ago
example.stahl ... a month ago
hw1 ... 17 hours ago
hw2 ... 12 hours ago
mk.scm ... a month ago
notes.md ... 12 hours ago
stahl.scm ... a month ago
tt.scm ... a month ago