Changes between Version 16 and Version 17 of PatternSynonyms


Ignore:
Timestamp:
Aug 28, 2013 3:32:37 PM (8 months ago)
Author:
heisenbug
Comment:

markup only

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v16 v17  
    152152== Typed pattern synonyms == 
    153153 
    154 So far patterns only had _syntactic_ meaning. In comparison Ωmega has _typed_ pattern synonyms, so they become first class values. (I am not suggesting this for Haskell, yet.) 
     154So far patterns only had ''syntactic'' meaning. In comparison Ωmega has ''typed'' pattern synonyms, so they become first class values. (I am not suggesting this for Haskell, yet.)