Indexed -> Annotated.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 10:51:34 +0000 (11:51 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 6 Oct 2010 10:51:34 +0000 (11:51 +0100)
commit99c161af6f40117c3c1e2037ddca86f4b2909652
treeac32313ca4c6492d00c2a67eab1f85a981f8783c
parentc431ca53dfed88b4109da865f25a00712f5bab3e
Indexed -> Annotated.
type-system.lhs