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 8b8ed10357 feat: implement periodic signal shifting 1 month ago
Rose feat: implement periodic signal shifting 1 month ago
.gitignore repl: make it possible to read programs 5 months ago
LICENSE meta: add license 1 year ago
Makefile meta: store ibc files in a subdir 12 months ago
README.md First commit 2 years ago
rose.ipkg types: initial typechecker implementation 5 months ago

README.md

Rose

A statically typed, theorem-proving lisp.