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.
 
 

30 lines
829 B

package rose
brief = "A statically typed, theorem proving lisp."
version = 0.0.1
readme = README.md
license = MIT
author = scg.olsen@gmail.com
maintainer = scg.olsen@gmail.com
homepage = http://rose.dev
sourceloc = http://www.github.com/rose-lang/rose
sourceloc = http://www.github.com/rose-lang/rose/issues
pkgs = contrib
modules = Rose.Data.Atom
, Rose.Data.SExpression
, Rose.Data.Error
, Rose.Data.Form
, Rose.Lambda
, Rose.Lexer
, Rose.Parser
, Rose.Evaluator
, Rose.Repl
sourcedir = Rose
-- On macOS case insensitivity leads to conflicts between the source directory 'Rose' and the executable name 'rose'
-- thus we use rosie instead, the Makefile copies the executable into out as 'rose'.
executable = rosie
main = Repl