Issues

• Suspension should happen before opposites

  enhancementmeta-operation
  thibautbenjamin/catt#108 · Filter by author wilfofford opened on Sep 6, 2026

• Bug involving inverses

  bugmeta-operation
  thibautbenjamin/catt#107 · Filter by author wilfofford opened on Sep 6, 2026

• Use higher order abstract syntax

  enhancementimplementation
  thibautbenjamin/catt#100 · Filter by author thibautbenjamin opened on Sep 25, 2025

• Issue combining naturality and implicit suspension

  bug
  thibautbenjamin/catt#95 · Filter by author wilfofford opened on Aug 28, 2025

• Use deBruijn levels everywhere

  implementation
  thibautbenjamin/catt#89 · Filter by author thibautbenjamin opened on Dec 31, 2024

• Functorialisation module is not memoised

  enhancementimplementation
  thibautbenjamin/catt#85 · Filter by author regular-citizen opened on Oct 25, 2024

• Specify which term has a wrong number of arguments

  thibautbenjamin/catt#74 · Filter by author thibautbenjamin opened on Oct 1, 2024

• improvements to the coq plugin

  coq-pluginenhancementimplementation
  thibautbenjamin/catt#63 · Filter by author thibautbenjamin opened on Sep 25, 2024

• add formal substitutions and deep memoization

  implementation
  thibautbenjamin/catt#62 · Filter by author thibautbenjamin opened on Sep 25, 2024

• Improve editors support for catt

  enhancement
  thibautbenjamin/catt#60 · Filter by author thibautbenjamin opened on Sep 21, 2024

• Improvements to the online version

  enhancementimplementation
  thibautbenjamin/catt#59 · Filter by author thibautbenjamin opened on Sep 21, 2024

• Refactor handling of parsing and lexing errors

  implementation
  thibautbenjamin/catt#39 · Filter by author thibautbenjamin opened on Sep 26, 2023

• Handle implicit suspension in a more consistent way

  implementation
  thibautbenjamin/catt#35 · Filter by author thibautbenjamin opened on Aug 10, 2023

• Add built-in coherence schemes

  meta-operation
  thibautbenjamin/catt#30 · Filter by author thibautbenjamin opened on Aug 2, 2023

• Add an Load/Import system

  implementation
  thibautbenjamin/catt#16 · Filter by author thibautbenjamin opened on Jul 10, 2023

• add memoization for efficiency

  implementation
  thibautbenjamin/catt#14 · Filter by author thibautbenjamin opened on Jul 6, 2023

• Add support for holes

  enhancement
  thibautbenjamin/catt#7 · Filter by author smimram opened on Jun 14, 2018
  1

• Improve error reporting

  implementation
  thibautbenjamin/catt#5 · Filter by author smimram opened on Jun 14, 2018
  1