diff json.urs @ 5:943410267fad

Import Incl and Mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Dec 2010 09:49:10 -0500
parents 8f7396495045
children 8de201d70b91
line wrap: on
line diff
--- a/json.urs	Thu Dec 02 12:27:30 2010 -0500
+++ b/json.urs	Tue Dec 14 09:49:10 2010 -0500
@@ -1,3 +1,5 @@
+(** The JSON text-based serialization format *)
+
 class json
 
 val toJson : a ::: Type -> json a -> a -> string