diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-23 14:03:12 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-23 14:03:12 -0400 |
commit | a2495d384c7747a079cb0f4bc31f44d626391068 (patch) | |
tree | 65ced70d644fa88a41a2270c9e5351cca303914c /demo/prose | |
parent | 0fa422bfaf3931aacff958cb73d44ebfa4191f4a (diff) |
Metaform demos, minus prose
Diffstat (limited to 'demo/prose')
-rw-r--r-- | demo/prose | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -104,3 +104,7 @@ An unusual part of the third argument is the syntax <tt>[t1 ~ t2]</tt> within a tcSum.urp <p>It's easy to adapt the last example to use type classes, such that we can sum the fields of records based on any numeric type.</p> + +metaform1.urp + +metaform2.urp |