A library for playing with variants of linear/non-linear languages internally in Haskell.
Updated 2026年06月20日 13:56:16 +02:00
N-nary coproducts with better inlining behaviours
Updated 2026年01月08日 22:52:44 +01:00