Change History for PatternSynonyms

Version Date Author Comment
48 5 months cactus
47 5 months cactus Update pattern type signature syntax
46 8 months simonpj
45 8 months cactus change pattern type synonym syntax to use 'type' keyword
44 8 months simonpj
43 8 months simonpj
42 8 months simonpj
41 12 months heisenbug explain the back arrow in the @ part
40 12 months heisenbug confirm a TODO
39 12 months heisenbug oops
38 12 months heisenbug switch the arrow around (see …
37 12 months fryguybob Fix last example
36 12 months heisenbug wording
35 12 months heisenbug tweaks
34 12 months heisenbug a vague proposal for branching unidirectional patterns
33 12 months heisenbug this needs verification
32 12 months heisenbug this seems to be settled with 7.8 out
31 14 months nomeata
30 15 months goldfire
29 15 months ntc2 Add link to recently closed (:D) main pattern synonyms ticket.
28 15 months cactus
27 17 months cactus Add separate static and dynamic semantics sections
26 17 months simonpj
25 17 months cactus
24 17 months cactus
23 18 months simonpj
22 18 months simonpj
21 19 months cactus
20 19 months cactus
19 20 months simonpj
18 20 months heisenbug add Ωmega link
17 20 months heisenbug markup only
16 20 months heisenbug typos
15 20 months heisenbug mention typed patterns
14 20 months cactus
13 20 months cactus Updated to reflect details of current work-in-progress implementation
12 20 months cactus Fix some typos
11 21 months heisenbug wording
10 21 months heisenbug suggest associated constructors
9 3 years xrchz minor typo-correction and rewording
8 4 years augustss
7 4 years augustss
6 4 years augustss
5 4 years augustss Update syntax, add associated patterns.
4 4 years simonpj
3 4 years augustss
2 4 years augustss
1 4 years augustss Initial version