konn

General-Purpose Computer Algebra System as an EDSL in Haskell

Type-level well-kinded natural numbers.

Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX

Sized sequence data-types