csci8980-f21/extra/plfa-extra.agda-lib
2019-03-10 20:20:20 +01:00

3 lines
58 B
Text

name: plfa-extra
depend: standard-library plfa
include: .