agda-prelude/prelude.agda-lib

4 lines
50 B
Plaintext
Raw Permalink Normal View History

2021-07-09 02:22:09 -04:00
name: prelude
depend: standard-library
include: .