Functional Modelling System

IngmarDasseville
3,946 views
undefined

Open Source Your Knowledge, Become a Contributor

Technology knowledge has to be shared and made accessible for free. Join the movement.

Create Content
Next: FMS as a calculator

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.

Just Try

For any questions: ingmar.dasseville@cs.kuleuven.be

Open Source Your Knowledge: become a Contributor and help others learn. Create New Content
x :: element of {1..5}.
x*2 > 5.
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX