Lila Prime

Nearly every blog post is written months later and then backdated. Living in the past is so... NOW!

Thursday, April 28, 2011

The axiom of choice is provably mentioned in this post.

›
I have filled a research notebook full of notes and conjectures and half-thunk thoughts, and I am moving on to a new and vestal-white notebo...
Sunday, April 24, 2011

Easter egg hunt

›
In partial repayment of many years of delightful Easter egg hunts in childhood, A. and I arranged a hunt of sorts for D. How many eggs can ...
‹
›
Home
View web version
Lila is a complex system.
Lila is a lightweight, compact, user-friendly system written entirely in the LISP programming language. Lila is compatible with your legacy hardware as well as modern operating systems. Lila can be used both to discover and to teach knowledge about computer science.
View my complete profile
Powered by Blogger.