YEAH

[proglang.git] / documentation

diff --git a/documentation b/documentation
index 269e93139c744f83508a076206088f76e7634b81..d649bbaedbe29fe03f586ac9699b30c70b0f4348 100644 (file)
--- 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