Tesseract’s evaluation and type system. - View it on GitHub