Mercurial > urweb

diff lib/ur/top.urs @ 2159:9029e0e2c67c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stray character in a comment
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Jul 2015 18:44:52 -0400
parents 2d9e40e726f2
children
line wrap: on
line diff
--- a/lib/ur/top.urs	Fri Jul 03 17:25:56 2015 -0400
+++ b/lib/ur/top.urs	Sat Jul 04 18:44:52 2015 -0400
@@ -35,7 +35,7 @@
 con thd3 = K1 ==> K2 ==> K3 ==> fn t :: (K1 * K2 * K3) => t.3
 
 (* Convert a record of n Units into a type-level record where
-o   each field has the same value (which describes a uniformly
+   each field has the same value (which describes a uniformly
    typed record) *)
 con mapU = K ==> fn f :: K => map (fn _ :: Unit => f)