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

2 lines
35 B
Text
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