lumos

lumos is programming language

1. right model
2. syntax as same as lisp
3. static type system

here is a peek

(typename [T :class Ord])

(define add
  (fun ([:a T] [:b Int] [-> T])
    (+ a b)))