Documentation

Default entry point. Parses a 𝜑-program from standard input, normalizes, then pretty-prints the result to standard output.

Normalize an input 𝜑-program.

Parse a Program or return a parsing error.

Parse an Object from a String. May throw an error if input has a syntactical or lexical errors.

Parse a Program from a String. May throw an error if input has a syntactical or lexical errors.