Stratified types slightly to fall more inline with the code appear in the paper.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 26 Feb 2013 16:19:34 +0000 (16:19 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 26 Feb 2013 16:19:34 +0000 (16:19 +0000)
commit3a8d7d1ac385f634d82fe87174cf93109c498e02
treea1d34af91546c8bb0cc4361ec4c44a1a14d31db9
parent8aff9df3c8abe96b2128e8967bbd84f56693add0
Stratified types slightly to fall more inline with the code appear in the paper.
Agda/Infer.agda
Agda/Subst.agda
Agda/Types.agda