4 lines
67 B
Text
4 lines
67 B
Text
|
name: kleisli
|
||
|
|
include: .
|
||
|
|
depend: agda-categories standard-library
|