Changes between Version 1 and Version 2 of SignatureSections


Ignore:
Timestamp:
Sep 8, 2015 2:54:44 PM (4 years ago)
Author:
hvr
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SignatureSections

    v1 v2  
    11= The `SignatureSections` Language Extension
     2
     3{{{#!box warning
     4
     5TODO: forbid `(:: forall a . a)` (any variables must be in scope), mention wildcards, explain restrictions, typing-rule == type-checking the translation, ...
     6
     7}}}
    28
    39== Semantics