csci8980-favonia

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/csci8980-favonia.git
.gitignore ... 6 months ago
agda ... 4 months ago
core.scm ... 6 months ago
docker-agda ... 7 months ago
example.stahl ... 7 months ago
hw1 ... 6 months ago
hw2 ... 6 months ago
hw3 ... 5 months ago
hw4 ... 4 months ago
hw5 ... 4 months ago
mk.scm ... 7 months ago
notes.md ... 5 months ago
notes1 ... 5 months ago
stahl.scm ... 7 months ago
stlc ... 4 months ago
tt.scm ... 7 months ago