gentoo.mahdi.cz
dev-racket
:turnstile
#lang for implementing typed languages with Racket
https://github.com/stchang/macrotypes
turnstile-9999
all-rights-reserved
download
racket-overlay
turnstile-0_p20210416
all-rights-reserved
download
~amd64 ~arm ~ppc ~ppc64 ~x86
racket-overlay