statebox/idris-ct

Issues

• Build with idris2 fails: `Uncaught error: Error: Can't recognise token`

  #87 opened 7 months ago by barracuda156
  0

• Errors when building compare target

  #86 opened 7 months ago by barracuda156
  0

• Is it possible to use non-Haskell TeX library and drop dependency on lhs2tex?

  #85 opened 7 months ago by barracuda156
  0

• Convert to Idris 2

  #6 opened 6 years ago by marcosh
  9

• build times

  #82 opened 5 years ago by Jake-Gillberg
  5

• Build error with idris 1.3.2

  #84 opened 5 years ago by dwarfmaster
  2

• improve compilation speed for ProductCategory

  #4 opened 6 years ago by marcosh
  4

• pedagogically adding some non trivial structure

  #76 opened 5 years ago by nrolland
  1

• Boolean category

  #66 opened 5 years ago by sjoerdvisscher
  0

• Day convolution

  #65 opened 5 years ago by marcosh
  0

• Define adjunctions

  #57 opened 5 years ago by sjoerdvisscher
  5

• Can't build using elba 0.3.2

  #61 opened 5 years ago by AyeGill
  2

• define monoidal functors

  #24 opened 5 years ago by marcosh
  0

• Define a category of spans

  #56 opened 5 years ago by clayrat
  0

• close stale issues and PRs

  #53 opened 5 years ago by marcosh
  0

• Why is NaturalIsomorphism implemented as a separate type rather than as Isomorphism in the functor category?

  #46 opened 5 years ago by bgavran
  6

• Doesn't build on Mac OSX 10.11.6

  #45 opened 5 years ago by m-bob
  13

• make the implicitable implicit

  #50 opened 5 years ago by marcosh
  0

• category of lenses

  #49 opened 5 years ago by marcosh
  0

• Solve timeout problem with Travis

  #39 opened 5 years ago by marcosh
  1

• Use categorical components to actually compute things

  #36 opened 5 years ago by marcosh
  0

• implement Kleisli category

  #2 opened 5 years ago by marcosh
  2

• find a way to specify a functor from a graph category to the category of types and functions

  #34 opened 5 years ago by marcosh
  0

• Define IO monad

  #35 opened 5 years ago by marcosh
  0

• Javascript, the good parts

  #40 opened 5 years ago by wires
  0

• Define useful tactics

  #38 opened 5 years ago by andrek-sbox
  0

• Builds a path of a graph from a list of edges

  #33 opened 5 years ago by marcosh
  0

• Define free categories over graphs

  #31 opened 5 years ago by marcosh
  2

• Define operations on commutative diagrams

  #29 opened 6 years ago by marcosh
  0

• Can't build using elba

  #25 opened 6 years ago by bgavran
  4

• prove that the category of types and functions is symmetric monoidal

  #23 opened 6 years ago by marcosh
  5

• Fast compose with same types

  #20 opened 6 years ago by FabrizioRomanoGenovese
  1

• Fast compose when types are different

  #19 opened 6 years ago by FabrizioRomanoGenovese
  1

• Define fast compose

  #18 opened 6 years ago by FabrizioRomanoGenovese
  1

• Define list ordering with a target in Idris

  #17 opened 6 years ago by FabrizioRomanoGenovese
  1

• Define free symmetric monoidal category

  #7 opened 6 years ago by marcosh
  0

• define f-algebras and eilenberg-moore category

  #22 opened 6 years ago by marcosh
  4

• Reinstate documentation generation

  #10 opened 6 years ago by epost
  0

• add LICENSE and CLA

  #8 opened 6 years ago by marcosh
  0

• Add INSTALL instructions in README.md

  #16 opened 6 years ago by mstn
  1

• Make nix-shell build great again

  #12 opened 6 years ago by epost
  1

• type checker hangs when checking symmetric monoidal category associator

  #5 opened 6 years ago by marcosh
  3

• define smproc category

  #3 opened 6 years ago by marcosh
  0

• Finish up wiring diagram

  #1 opened 6 years ago by marcosh
  0