HTTPS clone URL
Subversion checkout URL
Dana - a purely functional (virtual) operating system
Haskell C Verilog
Fetching latest commit…
Cannot retrieve the latest commit at this time
|Failed to load latest commit information.|
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.