Introduction
FMS is an attempt to bring model expansion to the world of lambda calculus-based languages. You can try it using the editor on the right of this text or follow the tutorial. Just press the next button to start the torial with FMS as a calculator.
For any questions: [email protected]
