macrotypes-nonstx

A version of the macrotypes / Turnstile idea where types don't have to be syntax objects

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, May 3rd, 2018 8:19:56pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/macrotypefunctors/macrotypes-nonstx.gitb3f9839b6f8dcce4bf3fe9c15d5017214300924d
Last checkedWednesday, August 15th, 2018 8:45:19am (UTC)
Last editedThursday, April 12th, 2018 6:15:01pm (UTC)
Modules
  • macrotypes-nonstx/expand-check-info.rkt
  • macrotypes-nonstx/example/test/test.rkt
  • macrotypes-nonstx/type-prop.rkt
  • macrotypes-nonstx/id-transformer.rkt
  • macrotypes-nonstx/expand-check-sugar-info.rkt
  • macrotypes-nonstx/example/testing.rkt
  • macrotypes-nonstx/example/test/vec-thing.rkt
  • macrotypes-nonstx/type-macros.rkt
  • macrotypes-nonstx/scribblings/macrotypes-nonstx.scrbl
  • macrotypes-nonstx/example/example-lang.rkt
  • macrotypes-nonstx/example/test/def.rkt
  • macrotypes-nonstx/expand-check-sugar.rkt
  • macrotypes-nonstx/expand-check.rkt
  • macrotypes-nonstx/type-check.rkt
  • macrotypes-nonstx/stxparse-match.rkt
  • macrotypes-nonstx/example/definition-lang.rkt
  • macrotypes-nonstx/prop.rkt
  • macrotypes-nonstx/scribblings/docs-example.rkt
  • macrotypes-nonstx/expand-stop.rkt
  • macrotypes-nonstx/example/vec-thing.rkt