Change History for PatternSynonyms

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