Changes between Initial Version and Version 1 of Ticket #8920


Ignore:
Timestamp:
Mar 22, 2014 10:44:32 PM (5 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8920 – Description

    initial v1  
    1212You can write
    1313{{{
    14 data Term x = K :: Term (a -> b -> a) | S :: Term ((a -> b -> c)  -> (a -> b) -> a -> c) | Const a :: Term a | (:@) (Term (a -> b)) (Term a) :: Term b
     14data Term x = K :: Term (a -> b -> a)
     15            | S :: Term ((a -> b -> c)  -> (a -> b) -> a -> c)
     16            | Const a :: Term a
     17            | (:@) (Term (a -> b)) (Term a) :: Term b
    1518}}}