An interpreted, lazy lisp.
You cannot 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 973be9cb57 feat: sin signal primitive
Adds the sin function, over a radial frequency value as a primitive to
the language. As usual, the user provides a length and the signal
repeats over the given length.
5 months ago
Rose feat: sin signal primitive 5 months ago
.gitignore repl: make it possible to read programs 12 months ago
LICENSE meta: add license 2 years ago
Makefile meta: store ibc files in a subdir 2 years ago
README.md First commit 3 years ago
rose.ipkg types: initial typechecker implementation 12 months ago

README.md

Rose

A statically typed, theorem-proving lisp.