A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.
Racket
Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2023-02-03 01:02:39 UTC
