Paragraph on the peculiarities of soundness in our "meta-programming"-esque
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 17:00:23 +0000 (18:00 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 17:00:23 +0000 (18:00 +0100)
commit6449afd686acc8f4593b38ff19cbd54f8f7bc9b9
tree9e363190242e53a044363ab145f40b36918087bd
parent45dcae0e4049ee6054fee35ef022503ee164afb2
Paragraph on the peculiarities of soundness in our "meta-programming"-esque
language.
type-system.lhs