froglet

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.


Keywords
alloy, education, logic, modeling, relational, teaching