3 lines
No EOL
65 B
Text
3 lines
No EOL
65 B
Text
name: Monads
|
|
include: .
|
|
depend: agda-categories, standard-library |