u/Sad-Grocery-1570

▲ 63 r/functionalprogramming+1 crossposts

Church Encoding, Parametricity, and the Yoneda Lemma

u/Sad-Grocery-1570 — 2 days ago

Native Typst to MathML in My Blog

Thanks to Typst developers, math equations on my blog are now rendered using native Typst-to-MathML conversion!

u/Sad-Grocery-1570 — 6 days ago