feat: sin signal primitive
feat: exponential signal primitive
feat: unit ramp primitive
You can also use your local clone with git send-email.
A statically typed, theorem-proving lisp.