Experimental linear-typed, aggressively optimized functional language.
Primary LanguageCoq
This repository is not active