4 ms·

Maybe this one? https://www.ponylang.org/media/papers/opsla237-clebsch.pdf https://www.ponylang.org/media/papers/opsla237-clebsch.pdf

• lindig 9y ago
  It doesn't contain a proof for the type system either.