Mercurial > meta

diff tests/testJson.urs @ 23:9d6b931fbd13

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implement JSON type class for recursive datatypes, using Mu combinator.
author Edward Z. Yang <ezyang@mit.edu>
date Wed, 02 May 2012 11:47:37 -0400
parents 189245a3c075
children
line wrap: on
line diff
--- a/tests/testJson.urs	Wed May 02 11:47:37 2012 -0400
+++ b/tests/testJson.urs	Wed May 02 11:47:37 2012 -0400
@@ -1,1 +1,2 @@
 val main : {} -> transaction page
+val godMain : {} -> transaction page