A dependently typed programming language with direct style effects and linearity
Primary LanguageHaskellOtherNOASSERTION