Grift icon indicating copy to clipboard operation
Grift copied to clipboard
verified publisher icon Gradual-Typing

Type manipulation operations such as consistent? and join should be more logically located.

Open akuhlens opened this issue 7 years ago • 0 comments

The operations on types should be located in typed file near type-check.rkt

akuhlens avatar Mar 27 '18 19:03 akuhlens