Minimal implementations for dependent type checking and elaboration - View it on GitHub