Ferrum
A language:
Functional with set-theoretic first-class types.
An implementation:
A specializing translator (a specialator).
An experimental work-in-progress
The repository contains details of the implementation:
https://github.com/ThyerMJ26/ferrum
The pages on this website explain the language.
What is Ferrum
Motivation
Why a new programming language?
Sets, types, and paradox.
Glossary (Work-in-Progress)