Giters
statebox
/
idris-ct
formally verified category theory library
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
255
Watchers:
20
Issues:
44
Forks:
23
statebox/idris-ct Issues
Convert to Idris 2
Updated
3 years ago
Comments count
9
build times
Updated
4 years ago
Comments count
5
Build error with idris 1.3.2
Updated
4 years ago
Comments count
2
improve compilation speed for ProductCategory
Updated
4 years ago
Comments count
4
pedagogically adding some non trivial structure
Updated
5 years ago
Comments count
1
Boolean category
Closed
5 years ago
Day convolution
Updated
5 years ago
Define adjunctions
Updated
5 years ago
Comments count
5
Can't build using elba 0.3.2
Closed
5 years ago
Comments count
2
define monoidal functors
Closed
5 years ago
Define a category of spans
Updated
5 years ago
close stale issues and PRs
Updated
5 years ago
Why is NaturalIsomorphism implemented as a separate type rather than as Isomorphism in the functor category?
Closed
5 years ago
Comments count
6
Doesn't build on Mac OSX 10.11.6
Closed
5 years ago
Comments count
13
make the implicitable implicit
Updated
5 years ago
category of lenses
Updated
5 years ago
Solve timeout problem with Travis
Closed
5 years ago
Comments count
1
Use categorical components to actually compute things
Closed
5 years ago
implement Kleisli category
Closed
5 years ago
Comments count
2
find a way to specify a functor from a graph category to the category of types and functions
Closed
5 years ago
Define IO monad
Closed
5 years ago
Javascript, the good parts
Updated
5 years ago
Define useful tactics
Updated
5 years ago
Builds a path of a graph from a list of edges
Closed
5 years ago
Define free categories over graphs
Closed
5 years ago
Comments count
2
Define operations on commutative diagrams
Updated
5 years ago
Can't build using elba
Closed
5 years ago
Comments count
4
prove that the category of types and functions is symmetric monoidal
Updated
5 years ago
Comments count
5
Fast compose with same types
Closed
5 years ago
Comments count
1
Fast compose when types are different
Closed
5 years ago
Comments count
1
Define fast compose
Closed
5 years ago
Comments count
1
Define list ordering with a target in Idris
Closed
5 years ago
Comments count
1
Define free symmetric monoidal category
Updated
5 years ago
define f-algebras and eilenberg-moore category
Updated
5 years ago
Comments count
4
Reinstate documentation generation
Closed
5 years ago
add LICENSE and CLA
Closed
5 years ago
Add INSTALL instructions in README.md
Closed
5 years ago
Comments count
1
Make nix-shell build great again
Closed
5 years ago
Comments count
1
type checker hangs when checking symmetric monoidal category associator
Updated
5 years ago
Comments count
3
define smproc category
Updated
5 years ago
Finish up wiring diagram
Updated
5 years ago