From 8cf914defa8030c3beab450e00430959de845fc1 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 24 Dec 2018 14:25:46 +0100
Subject: Remove Abstr; add fun_args

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 0bdef99..00eafdd 100644
--- a/README.md
+++ b/README.md
@@ -5,8 +5,7 @@ It does almost nothing, and what it does, it does badly and is not useful.
 
 - There is no parser, you have to write your program in the internal Clean
   representation (see `Start` in [`sjit.icl`](/sjit.icl)).
-- There is no type checker, you have to guess the implicit rules (such as that
-  a `fun_expr` must always be an `Abstr`).
+- There is no type checker, you have to guess the implicit rules.
 - There is no register allocation, everything is done on the stack.
 - There is no code optimisation, not even to eliminate `push rbx` followed by
   `pop rbx`.
-- 
cgit v1.2.3