fool
/
rose
mirror of https://git.sr.ht/~solsen/rose
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
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.
52 Commits
1 Branch
0 Tags
120 KiB
Idris 99.8%
Makefile 0.2%
 
 
main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Go to file
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.