GitHub repository: JnxF/safe-epigram
Primary language: Idris
Created: 2020-11-04T09:57:43Z
Description: 🤓 Idris implementation of a type-correct, stack-safe, provably correct, expression compiler in Epigram including exception handling