This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon (
) is private.
Every repository with this icon (
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon (
) is public.
Every repository with this icon (
dana /
| name | age | message | |
|---|---|---|---|
| |
README | Sun Jan 25 04:37:29 -0800 2009 | |
| |
experiments/ | Sun Jul 05 23:11:27 -0700 2009 | |
| |
ixi/ | Fri Jun 19 02:46:52 -0700 2009 | |
| |
notes/ | Fri Jul 03 13:54:58 -0700 2009 |
README
Dana - a purely functional (virtual) operating system. The goal is to be an interactive development environment which is purely functional, denotational, and composable all the way down to the "device drivers". The present plan is to make it image-based, like Squeak or many lisp enviornments.







