https://github.com/plow-technologies/inferno

A statically-typed functional scripting language
https://github.com/plow-technologies/inferno

Last synced: 2 months ago
JSON representation

A statically-typed functional scripting language

• Host: GitHub
• URL: https://github.com/plow-technologies/inferno
• Owner: plow-technologies
• License: mit
• Created: 2022-11-29T15:58:19.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2025-10-15T09:03:26.000Z (3 months ago)
• Last Synced: 2025-10-15T13:02:25.456Z (3 months ago)
• Language: Haskell
• Size: 12.7 MB
• Stars: 4
• Watchers: 8
• Forks: 1
• Open Issues: 19
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
![](misc/inferno.svg)

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](./docs/nix.md)

- [Developing Inferno scripts and VSCode instructions](./docs/dev.md)

- [How parsing and evaluation works](./docs/parsing-eval.md)

- [Miscellaneous](./docs/misc.md)

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