froglet (racket): A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.
Keywords: alloy|education|logic|modeling|relational|teaching