mf-apply

PLT Redex lang-extension for checked metafunction application

Build status: ok passing tests

Documentation README Code
Authors
Documentation
Tags
Last updatedMonday, October 25th, 2021 12:55:45am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/bennn/mf-applye9aaf549dfd9549c833d38a1856c577399f9ef50
Last checkedSunday, May 22nd, 2022 8:39:43am (UTC)
Last editedTuesday, February 28th, 2017 4:48:54am (UTC)
Date addedN/A
Modules
  • mf-apply/lang/reader.rkt
  • mf-apply/docs/mf-apply.scrbl