diff options
| author | Kathy Gray | 2014-12-03 12:26:31 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-03 12:26:49 +0000 |
| commit | 36ebd5dc4e25f6613e986142f779788d23eec2a6 (patch) | |
| tree | 71f9ca1dc3ec23b4dc435d220e838cd20174ed60 /language/primitive_doc.ott | |
| parent | 1fbb2a7f60e74e657a321052f92e75979c8cd6d7 (diff) | |
Type rules unto coercion now represented in ott
Diffstat (limited to 'language/primitive_doc.ott')
| -rw-r--r-- | language/primitive_doc.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/primitive_doc.ott b/language/primitive_doc.ott index e96f6065..b8d0eb18 100644 --- a/language/primitive_doc.ott +++ b/language/primitive_doc.ott @@ -9,7 +9,7 @@ built_in_types :: '' ::= | forall Typ 't. register < 't > : Typ -> Typ :: :: registerDec | forall Typ 't. reg < 't > : Typ -> Typ :: :: regDec {{ com internal reference cell }} - | forall Nat 'n. implicit<'n> : Nat -> Typ :: :: implicitDesc + | forall Nat 'n . implicit <'n> : Nat -> Typ :: :: implicitDesc {{ com see Kathy for explanation }} built_in_type_abbreviations :: '' ::= |