greet.tri (217B)
1 !import "prelude" !Local 2 !import "io" !Local 3 4 -- Greet and return a pure value. 5 -- putStrLn writes to stdout; pure lifts "done" into IO. 6 7 main = io <| 8 bind (putStrLn (append "Hello, " "tricu")) 9 (_ : pure "")
tricuAn interpreted language for exploring Tree Calculus | |
| Log | Files | Refs | README | LICENSE |