Path: g2news1.google.com!postnews.google.com!12g2000yqi.googlegroups.com!not-for-mail
From: "o.jas...@gmail.com" <o.jas...@gmail.com>
Newsgroups: comp.lang.lisp
Subject: Type calculation from the ground up
Date: Sun, 18 Apr 2010 18:51:00 -0700 (PDT)
Organization: http://groups.google.com
Lines: 5
Message-ID: <7b6ce4e4-6716-428f-bee2-945c2fa2696a@12g2000yqi.googlegroups.com>
NNTP-Posting-Host: 88.159.72.240
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1271641860 18745 127.0.0.1 (19 Apr 2010 01:51:00 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 19 Apr 2010 01:51:00 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 12g2000yqi.googlegroups.com; posting-host=88.159.72.240; 
	posting-account=dBlQkwoAAABcxRpgPETlo3WKWQPzWyvE
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); nl; rv:1.9.2.3) 
	Gecko/20100401 Firefox/3.6.3,gzip(gfe)

http://ojasper.nl/Blog.html#Type%20calculation

Hope i wrote it well, honestly can't assess it properly now. Also
posted in http://www.reddit.com/r/lisp/comments/bsu83/type_calculation_from_the_ground_up/,
http://www.lispforum.com/viewtopic.php?f=29&t=696