2 lines (2 loc) · 203 Bytes

lejf

An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calculus), were types ar split up into two kinds. The positives are values and the negatives are code.