Changes between Initial Version and Version 1 of Ticket #15862, comment 6


Ignore:
Timestamp:
Nov 9, 2018 9:22:24 PM (11 months ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15862, comment 6

    initial v1  
    1212  MkBar :: (a :: F Int) -> Bar
    1313}}}
     14
     15where
     16
     17{{{
     18>> bar
     19'MkBar Bool 'True
     20}}}