Infer, no?

This is the parser, type inference engine, and version control for a new functional scripting language.

Specifically, the project comprises of:

• Parser for the new functional language
• Type checker/inference
• Evaluator
• Basic prelude
• A version control server to manage script histories and versions

Documentation

• Nix setup, building and running things
• Developing Inferno scripts and VSCode instructions
• How parsing and evaluation works
• Miscellaneous

NOTE: Please read the document on building with Nix first! It contains important instructions on how to interact with the project.