categories
categories copied to clipboard

Published 20 hours ago •

danilkolikov

→

Metadata

Category Theory

Reame
Issues

Results 1 categories issues

Sort by recently updated

Fails to compile with idris 1.3.1

1

$ idris --install categories.ipkg Entering directory `./src' Type checking ./Relation.idr Type checking ./Setoid.idr Type checking ./Operation.idr Type checking ./Algebra.idr Type checking ./Algebra/Hierarchy.idr Type checking ./Relation/Hierarchy.idr Type checking ./Setoid/Natural.idr Type checking...

tj800x