Type checker based on Axiomatic - View it on GitHub