~dannypsnl/violet

A programming language, half theorem prover

~dannypsnl/violet git

The violet programming language

~dannypsnl/headvariant git

Failed experiment: Refining inductive types with constructors subscripting