froglet

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

Build status: ok dependency problems failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedFriday, March 1st, 2024 12:56:11pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/tnelson/forge.git?path=frogletf5dba759d81b05f6b078211158fa60fd16fb3d5e
Last checkedMonday, March 4th, 2024 4:33:55pm (UTC)
Last editedMonday, February 6th, 2023 6:19:56pm (UTC)
Date addedThursday, January 19th, 2023 5:57:58pm (UTC)
Modules
  • froglet/util.rkt
  • froglet/typecheck/error.rkt
  • froglet/lang/reader.rkt
  • froglet/main.rkt
  • froglet/typecheck/struct.rkt
  • froglet/typecheck/main.rkt