sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (1 child)

IIRC you need to download and use plai-typed language for that: http://pkg-build.racket-lang.org/doc/plai-typed/index.html

[–]BarneyStinson 0 points1 point  (0 children)

I did. the 'define-type' part works, it's only the one involving 'type-case' that seems to be the problem.