A core language and API for dependently typed languages - View it on GitHub