We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
recursive functions
unsat proof page
datatype page and minor edits
Updated Language (markdown)
Minor language discussion update
Language explanation update
Added hoice's answer to the example
Minor
clojure for examples, improved regex, minor fixes
More fixes, trying scheme for example
More details, examples, fixed ebnf
Language description
Homepage update
contribution instruction
Initial Home page