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.
 
 
Scott Olsen d917dc8de3 types: initial typechecker implementation 2 weeks ago
Rose types: initial typechecker implementation 2 weeks ago
.gitignore repl: make it possible to read programs 2 weeks ago
LICENSE meta: add license 7 months ago
Makefile meta: store ibc files in a subdir 7 months ago
README.md First commit 2 years ago
rose.ipkg types: initial typechecker implementation 2 weeks ago

README.md

Rose

A statically typed, theorem-proving lisp.