Issues · stchang/macrotypes · GitHub

Labels Milestones

doc: further reading

#115

· bennn opened

on Aug 22, 2023

Could this be made available via racket-templates?

#112

· spdegabrielle opened

on Nov 9, 2021

accommodate converting from macrotypes define-type to turnstile version

#100

· stchang opened

on Jun 29, 2020

Feature request: switch from infer to check when given "concrete" infer pattern

#96

· wilbowma opened

on Aug 5, 2019

Improve documentation for `type-error` form

#86

· tov opened

on Jul 3, 2019

docs for ≻ conclusion wrong

#82

· stchang opened

on Jun 20, 2019

allow arbitrary number of tyenvs to the left of turnstile

#63

· stchang opened

on May 1, 2018

replace `expose` in fsub with `current-var-assign` (or `current-tyvar-assign`?)

#62

· stchang opened

on Apr 2, 2018

`define-typed-syntax` should error if rule has neither <= input or => conclusion

#59

· stchang opened

on Mar 29, 2018

can't figure out this "bad syntax"

#58

· stchang opened

on Mar 29, 2018

should non-present property error for left-arrow rules?

#55

· stchang opened

on Mar 28, 2018

separate type environment from runtime binding

#54

· stchang opened

on Mar 28, 2018