liquid-shplait

Refinement (liquid) types for Shplait, checked at compile time with Z3

Build status: ok dependency problems failing tests valid license

Documentation README Download
Authors
Documentation
Tags
License
Language familiesRhombus
Last updatedMonday, October 12th, 2026 3:30:26pm (UTC)
Ring2
ConflictsNone
Dependencies
Build platformsany platform
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit+https://github.com/shriram/liquid-shplait#main2e3e29e3ca76e94d48de03480476eb792d2e9fdd
Last checkedMonday, October 12th, 2026 10:29:39pm (UTC)
Last editedMonday, October 12th, 2026 2:52:04pm (UTC)
Date addedMonday, October 12th, 2026 2:52:04pm (UTC)
Modules
  • shplait/liquid/verifier.rkt
  • shplait/liquid/tests/interaction-tests.rkt
  • shplait/liquid/tests/unsaved-buffer-tests.rkt
  • shplait/liquid/tests/guide.rkt
  • shplait/liquid.rkt
  • shplait/liquid/interaction.rkt
  • shplait/liquid/tests/examples.rkt
  • shplait/liquid/scribblings/liquid-shplait.scrbl