Giters

Taneb / categories-examples

Examples of categorical structures

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

categories-examples

Examples of categorical structures

About

Examples of categorical structures

License:MIT License

Languages

Language:Agda 100.0%