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

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