Changes between Version 7 and Version 8 of MonoidalCategories


Ignore:
Timestamp:
Sep 19, 2014 8:21:22 AM (5 years ago)
Author:
spacekitteh
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonoidalCategories

    v7 v8  
    3939== Desugaring plans ==
    4040Current (arrows):
    41 ```
     41{{{
    4242    proc p -> f -< e = arr (\ p -> e) >>> f           if Vars(f) and Vars(p) disjoint
    4343                     = arr (\ p -> (f, e)) >>> app    otherwise
     
    6464             pn -> Rightn-1 (p, Flatten(pn))) >>>
    6565        (proc (p, Flatten(p1)) -> c1) ||| ... ||| (proc (p, Flatten(pn)) -> cn)
    66 ```
     66}}}
    6767New (SMC) (wip, these need to be as generalised as possible; look at GA thesis and https://www.haskell.org/ghc/docs/papers/arrow-rules.pdf):
    6868