Search results

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

Status: Open.

#87 In statebox/idris-ct;

· barracuda156 opened on Jun 24, 2024

Errors when building compare target

Status: Open.

#86 In statebox/idris-ct;

· barracuda156 opened on Jun 24, 2024

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

Status: Open.

#85 In statebox/idris-ct;

· barracuda156 opened on Jun 21, 2024

Build error with idris 1.3.2

Status: Open.

#84 In statebox/idris-ct;

· dwarfmaster opened on May 11, 2020

build times

Status: Open.

#82 In statebox/idris-ct;

· Jake-Gillberg opened on Apr 25, 2020

pedagogically adding some non trivial structure

Status: Open.

#76 In statebox/idris-ct;

· nrolland opened on Feb 16, 2020

Day convolution

Status: Open.

#65 In statebox/idris-ct;

· marcosh opened on Nov 21, 2019

Define adjunctions

Status: Open.

#57 In statebox/idris-ct;

· sjoerdvisscher opened on Oct 27, 2019

Define a category of spans

Status: Open.

#56 In statebox/idris-ct;

· clayrat opened on Oct 24, 2019

close stale issues and PRs

Status: Open.

#53 In statebox/idris-ct;

· marcosh opened on Oct 14, 2019

make the implicitable implicit

Status: Open.

#50 In statebox/idris-ct;

· marcosh opened on Sep 26, 2019

category of lenses

Status: Open.

#49 In statebox/idris-ct;

· marcosh opened on Sep 26, 2019