search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
26 stars 5 forks source link

move line length check to script #93

Closed hejohns closed 6 months ago

hejohns commented 6 months ago

https://github.com/maxsnew/cubical-categorical-logic/issues/85