Stellogen
Playground
Eval
Ctrl+↵
Run
Check
Stop
Blank
Hello
Macros
Boolean Circuits
Linear Lambda Calculus
Relational - Arithmetic
Relational - Joins
NFA (Finite Automaton)
NPDA (Pushdown Automaton)
Turing Machine
Proof Nets - MLL
Logic-agnostic programming based on term unification
Editor
Ctrl+Enter to eval, Ctrl+Shift+Enter to check
; A positive ray offers a greeting; a negative ray requests it. ; `show` displays the result of their fusion. (def greeter [(+hello X) (hello X)]) (show (exec #greeter [(-hello world)])) ; => (hello world)
Output
Press Eval to see the result.