agda-prelude/prelude.agda-lib
2021-07-09 08:22:09 +02:00

3 lines
50 B
Text

name: prelude
depend: standard-library
include: .