michael/oplss2024
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
oplss2024/oplss-2024.agda-lib
Michael Zhang f5dc06fc69 day 2 pfenning
2024-06-04 10:31:23 -04:00

2 lines
35 B
Plaintext
Raw Permalink Blame History

include: .
depend: standard-library
Reference in a new issue View git blame Copy permalink