Search results

doc: further reading

Status: Open.

#115 In stchang/macrotypes;

· bennn opened on Aug 22, 2023

Could this be made available via racket-templates?

Status: Open.

#112 In stchang/macrotypes;

· spdegabrielle opened on Nov 9, 2021

accommodate converting from macrotypes define-type to turnstile version

Status: Open.

#100 In stchang/macrotypes;

· stchang opened on Jun 29, 2020

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

enhancement

Status: Open.

#96 In stchang/macrotypes;

· wilbowma opened on Aug 5, 2019

Improve documentation for <code>type-error</code> form

docs

Status: Open.

#86 In stchang/macrotypes;

· tov opened on Jul 3, 2019

docs for ≻ conclusion wrong

docs

Status: Open.

#82 In stchang/macrotypes;

· stchang opened on Jun 20, 2019

allow arbitrary number of tyenvs to the left of turnstile

Status: Open.

#63 In stchang/macrotypes;

· stchang opened on May 1, 2018

replace <code>expose</code> in fsub with <code>current-var-assign</code> (or <code>current-tyvar-assign</code>?)

Status: Open.

#62 In stchang/macrotypes;

· stchang opened on Apr 2, 2018

<code>define-typed-syntax</code> should error if rule has neither &lt;= input or =&gt; conclusion

Status: Open.

#59 In stchang/macrotypes;

· stchang opened on Mar 29, 2018

can't figure out this "bad syntax"

Status: Open.

#58 In stchang/macrotypes;

· stchang opened on Mar 29, 2018

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

Status: Open.

#55 In stchang/macrotypes;

· stchang opened on Mar 28, 2018

separate type environment from runtime binding

enhancement

Status: Open.

#54 In stchang/macrotypes;

· stchang opened on Mar 28, 2018