Pontif Editor (experimental build)

Pontif Editor: with semantic syntax highlighting, code authoring and execution, proofwriting, print the AST/IR output, print the receipts of proof generation, and print the effective type inference from any function's perspective.

Pontif CLI: headless Pontif executable, mainly for running scripts.