macrotypes-lib

"Types as macros" core api, used to create Turnstile lang

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, July 18th, 2019 9:00:32pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stchang/macrotypes.git?path=macrotypes-libfcd53e317a5df9e1f5e692d814fa2a7e2cb287f2
Last checkedSunday, July 21st, 2019 6:00:38am (UTC)
Last editedWednesday, October 24th, 2018 8:10:54pm (UTC)
Date addedN/A
Modules
  • macrotypes/type-constraints.rkt
  • macrotypes/variance-constraints.rkt
  • macrotypes/stx-utils.rkt
  • macrotypes/typecheck-core.rkt
  • macrotypes/typecheck.rkt
  • macrotypes/postfix-in.rkt