Lila Prime

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

Thursday, January 31, 2019

Incredibly retroblogging

›
An honest assessment indicates that I mostly want this blog as a post-dated account of things I once did, some time ago. Want up-to-date Lil...
1 comment:
Monday, January 28, 2019

In which "snake" is not a valid proof technique

›
Non-proof techniques that students tried today in lab, hesitantly, knowing that I wouldn't buy it: proof by picture proof by snake ...
‹
›
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.