The goal is to create a language which can output code optimized enough to resemble something you might code in ASM using dependent types.
The goal is to create a language which can output code optimized enough to resemble something you might code in ASM using dependent types.