Moonad's Agda-lib
Agda libraries relevant to Moonad.
# must disable the agda-stdlib by editing ~/.agda/defaults
agda --js --compile-dir=node_modules src/Example.agda
node node_modules/jAgda.Example.js
VictorTaelin / formality-agda-lib-legacy
Licence: other
Agda libraries relevant to Moonad
Stars: ✭ 15
Programming Languages
Agda
84 projects
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].