An implementation of a dependently-typed intermediate language used by Tesseract. - View it on GitHub