csci8980-f21/plfa.agda-lib
2018-09-14 16:08:05 +01:00

3 lines
49 B
Text

name: plfa
depend: standard-library
include: src