rhi/agda-prelude
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
agda-prelude/prelude.agda-lib

4 lines
50 B
Text
Raw Permalink Normal View History

First
2021-07-09 02:22:09 -04:00
name: prelude
depend: standard-library
include: .
Reference in a new issue Copy permalink