issues
search
thibautbenjamin
/
catt
Coherence typechecker for infinity categories
MIT License
18
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Functorialisation module is not memoised
#85
regular-citizen
opened
2 weeks ago
0
Feature/first class application
#84
thibautbenjamin
opened
3 weeks ago
0
add emails in the dune-project file
#83
thibautbenjamin
closed
3 weeks ago
0
Windows compat
#82
thibautbenjamin
closed
4 weeks ago
0
fix landmarks dependency issue
#81
thibautbenjamin
closed
4 weeks ago
0
Windows compatibility
#80
jmarkakis
closed
4 weeks ago
1
Release 1.0
#79
thibautbenjamin
closed
1 month ago
0
disambiguate opposites of suspensions
#78
thibautbenjamin
closed
1 month ago
0
use space separation for lists
#77
thibautbenjamin
closed
1 month ago
2
Feature/meta operations errors
#76
thibautbenjamin
closed
1 month ago
1
Bugfix/functorialisation name
#75
thibautbenjamin
closed
1 month ago
0
Specify which term has a wrong number of arguments
#74
thibautbenjamin
opened
1 month ago
0
cleanup dependencies and add versions
#73
thibautbenjamin
closed
1 month ago
0
Refactor/more kernel perf
#72
thibautbenjamin
opened
1 month ago
0
Feature/better contexts
#71
thibautbenjamin
closed
1 month ago
1
Proof-read Readme
#70
wilfofford
closed
1 month ago
1
Update README.md
#69
wilfofford
closed
1 month ago
0
Make the opam dependency clear
#68
thibautbenjamin
closed
1 month ago
0
Better handling errors in conditional meta-operations
#67
thibautbenjamin
closed
1 month ago
0
Fix error in name of iterated functorialisation
#66
thibautbenjamin
closed
1 month ago
0
update the README file
#65
thibautbenjamin
closed
1 month ago
1
Add demo files for the presentation in Marseille
#64
thibautbenjamin
closed
1 month ago
0
improvements to the coq plugin
#63
thibautbenjamin
opened
1 month ago
0
add formal substitutions and deep memoization
#62
thibautbenjamin
opened
1 month ago
0
Prepare a release on opam
#61
thibautbenjamin
opened
1 month ago
0
Improve editors support for catt
#60
thibautbenjamin
opened
1 month ago
0
Improvements to the online version
#59
thibautbenjamin
opened
1 month ago
0
Refactor the building process
#58
thibautbenjamin
closed
1 month ago
2
parse and ignore form feed character
#57
thibautbenjamin
closed
1 month ago
0
Kernel Performance Improvements
#56
regular-citizen
closed
1 month ago
3
Cones for binary composites
#55
regular-citizen
opened
2 months ago
0
Generalised Eckmann-Hilton argument
#54
regular-citizen
opened
3 months ago
0
[flake] add dev environment
#53
thibautbenjamin
closed
3 months ago
0
add examples for the invertibility paper
#52
thibautbenjamin
closed
4 months ago
0
Draft: Coq plugin
#51
thibautbenjamin
closed
1 month ago
3
Refactor: collated arch changes for naturality squares
#50
regular-citizen
closed
3 months ago
3
Feature: generalised functorialisation
#49
regular-citizen
closed
5 months ago
4
Flaked the nix derivation
#48
jmarkakis
closed
9 months ago
0
Duality of cells
#47
thibautbenjamin
closed
9 months ago
3
Refactor: Internal representation of coherences
#46
thibautbenjamin
closed
9 months ago
2
Feature/naturality
#45
regular-citizen
closed
3 months ago
3
add example of cylinders and naturality computations
#44
thibautbenjamin
closed
1 year ago
0
[fix] issue when generating functorialisation of substitution
#43
thibautbenjamin
closed
1 year ago
0
Issue when generating functorialisation
#42
thibautbenjamin
closed
1 year ago
0
Add iterated functorialisation
#41
thibautbenjamin
closed
1 year ago
0
Refactor functorialisation
#40
thibautbenjamin
closed
1 year ago
3
Refactor handling of parsing and lexing errors
#39
thibautbenjamin
opened
1 year ago
0
Feature/pretty printing
#38
thibautbenjamin
closed
1 year ago
5
Feature/error management
#37
thibautbenjamin
closed
1 year ago
4
change emacs catt-mode to use prog-mode
#36
thibautbenjamin
closed
1 year ago
0
Next