X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=documentation;h=d649bbaedbe29fe03f586ac9699b30c70b0f4348;hp=269e93139c744f83508a076206088f76e7634b81;hb=2c2f90fca1005f6dedc69ee7f3d7c5072e5c123b;hpb=4f21d932178a490040cf5e054f3ba9d006579368

diff --git a/documentation b/documentation
index 269e931..d649bba 100644
--- a/documentation
+++ b/documentation
@@ -16,7 +16,6 @@ typing rules
 (t is little tau, T is large tau, E is 'in', and + is that other symbol)
 
 
-
 [Eq, Neq]
 
 e:bool  <=  e1:t  &  e2:t