Change History for PatternSynonyms

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