Category Theory
Attempt to formalize category theory and algebra using Idris language
Contains definition of
To install categories
package, you should:
idris --install categories.ipkg
To use proofs and types from categories
in files import them as default modules and start Idris with command
idris -p categories %FILE_NAME%
To use modules from categories
in REPL, import them using :module
command