Racket simple AE define-type...

How to implement define-type and type-case in Racket using macros?...

How to get the arguments of an instance of a Scheme define-type?...

Must a colon separate an id and a type? Is a type with a question mark no longer acceptable?...

RACKET: Require a pair type function...

How to give a specific type of function as a parameter in Racket/Plait?...

plai-typed : how to define function type?...

how to edit and run PLAI code in Emacs with DrRacket 5.2.1...

cons to empty list of type not working...

how to write scheme function that takes two lists and return one list like this...

"application: not a procedure" in binary arithmetic procedures...

how to resolve this error "reference to an identifier before its definition: with"...

what steps included in the program's executing in Chapter9's first program of PLAI...