#type-checker1 repo tagged type-checker. Wiki index →racket/typed-racket · 574★Typed Racket#racket#scheme#lisp#gradual-typing#occurrence-typing#contracts#functional-programming#language-tooling