Syntax of Agda2 expressions for K parser.
A prototype of dependent type calculus.
Merge branch 'master' of github.com:andrejtokarcik/agda-semantics