Search results

Use higher order abstract syntax

enhancement

implementation

Status: Open.

#100 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 25, 2025

Issue combining naturality and implicit suspension

bug

Status: Open.

#95 In thibautbenjamin/catt;

· wilfofford opened on Aug 28, 2025

Use deBruijn levels everywhere

implementation

Status: Open.

#89 In thibautbenjamin/catt;

· thibautbenjamin opened on Dec 31, 2024

Functorialisation module is not memoised

enhancement

implementation

Status: Open.

#85 In thibautbenjamin/catt;

· regular-citizen opened on Oct 25, 2024

Specify which term has a wrong number of arguments

Status: Open.

#74 In thibautbenjamin/catt;

· thibautbenjamin opened on Oct 1, 2024

improvements to the coq plugin

coq-plugin

enhancement

implementation

Status: Open.

#63 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 25, 2024

add formal substitutions and deep memoization

implementation

Status: Open.

#62 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 25, 2024

Improve editors support for catt

enhancement

Status: Open.

#60 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 21, 2024

Improvements to the online version

enhancement

implementation

Status: Open.

#59 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 21, 2024

Refactor handling of parsing and lexing errors

implementation

Status: Open.

#39 In thibautbenjamin/catt;

· thibautbenjamin opened on Sep 26, 2023

Handle implicit suspension in a more consistent way

implementation

Status: Open.

#35 In thibautbenjamin/catt;

· thibautbenjamin opened on Aug 10, 2023

Add built-in coherence schemes

meta-operation

Status: Open.

#30 In thibautbenjamin/catt;

· thibautbenjamin opened on Aug 2, 2023