Pure

A little agda library for categorical semantics.

Pure ASCII
Pure prefix notation
Pure lisp naming convention

Community

We enforce C4 as collaboration protocol.
- The C4 RFC
Style Guide
- Observe the style of existing code and respect it.
Code of Conduct

License

GPLv3