Commit Graph

6 Commits

Author SHA1 Message Date
LU Jialin 34ebbaeb10
Passing color to the augment line in matrix (#2281) 2023-10-02 16:22:33 +02:00
SekoiaTree 3dcbe859fb
Add gaps for matrix, case, and vector (#2186) 2023-09-21 10:26:47 +02:00
Laurenz b471ac7d59 First-class types
Makes types first-class values.
2023-09-11 14:40:22 +02:00
lolstork c00fc14905
Initial support for augmented matrices (#1679) 2023-08-25 11:16:03 +02:00
damaxwell c72952b512
Center delimiters vertically about the axis (#1756) 2023-07-20 12:50:12 +02:00
Laurenz ebfdb1dafa Move everything into `crates/` directory 2023-07-02 20:07:43 +02:00