michael/oplss2024
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
oplss2024/oplss-2024.agda-lib

2 lines
35 B
Plaintext
Raw Permalink Normal View History

day 2 pfenning
2024-06-04 14:31:23 +00:00
include: .
depend: standard-library
Reference in a new issue Copy permalink