rzk-0.5.7: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Rzk.VSCode.Tokenize

Documentation