3 lines
75 B
Text
3 lines
75 B
Text
name: ExtensionSystem
|
|
include: .
|
|
depend: agda-categories standard-library
|
name: ExtensionSystem
|
|
include: .
|
|
depend: agda-categories standard-library
|