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.
Danten/lejf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|