lsts-language-reference

LSTS Language Reference Website

View the Project on GitHub Lambda-Mountain-Compiler-Backend/lsts-language-reference

type S = SNil
       | SAtom { CString }
       | SCons { S[], S[] }
       | SPointer { ?[] }

`.into : (S, Type<String>) -> String`

`== : (S, S) -> Bool`

`!= : (S, S) -> Bool`

`< : (S, S) -> Bool`

`<= : (S, S) -> Bool`

`> : (S, S) -> Bool`

`>= : (S, S) -> Bool`