|
@@ -67,7 +67,7 @@ While the [[id:f3e3cdb9-a661-4598-8be1-e15f587f35bb][Introduction]] describes th
|
|
|
#+TOC: headlines 3
|
|
|
#+TOC: listings
|
|
|
|
|
|
-* WORKING Expression Types [0/4]
|
|
|
+* WORKING Expression Types [0/3]
|
|
|
:PROPERTIES:
|
|
|
:ID: fe611e8f-db42-4fe0-8e77-9cfb55d2227c
|
|
|
:END:
|
|
@@ -714,13 +714,6 @@ The ~<polynomial-term>~ is one of the more interesting types. It's a variable,
|
|
|
(terms prev)))
|
|
|
#+END_SRC
|
|
|
|
|
|
-** TODO Object Protocol
|
|
|
-
|
|
|
-#+Caption: Object Protocol
|
|
|
-#+Name: type-obj-proto
|
|
|
-#+BEGIN_SRC lisp
|
|
|
-#+END_SRC
|
|
|
-
|
|
|
* WORKING Expression Typing [0/8]
|
|
|
:PROPERTIES:
|
|
|
:CREATED: <2016-04-30 Sat 23:15>
|