A little agda library for categorical semantics.
- Pure ASCII
- Pure prefix notation
- Pure lisp naming convention
- We enforce C4 as collaboration protocol.
- Style Guide
- Observe the style of existing code and respect it.
- Code of Conduct
forked from xieyuheng/cat
-
Notifications
You must be signed in to change notification settings - Fork 0
A little agda library for categorical semantics.
License
ice1k/pure
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A little agda library for categorical semantics.
Resources
License
Code of conduct
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Agda 100.0%