An interpreted, lazy lisp.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
fool 9d76976d1c meta: add license 2 months ago
Rose check in a bunch of files 2 months ago
.gitignore First commit 1 year ago
LICENSE meta: add license 2 months ago
Makefile First commit 1 year ago
README.md First commit 1 year ago
rose.ipkg First commit 1 year ago

README.md

Rose

A statically typed, theorem-proving lisp.