2008-08-20 | John Napiorkowski | separation of concerns is good | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | now supporting structured types inside of structured... | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | minor doc tweaks | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | proper support for parameterized constraints and Maybe[] | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | positional and named constraints | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | renaming to make sense | commit | commitdiff | tree | snapshot |
2008-08-19 | John Napiorkowski | more tests | commit | commitdiff | tree | snapshot |
2008-08-18 | John Napiorkowski | first guess at structured types, with proof of concept... | commit | commitdiff | tree | snapshot |