gpo.zugaina.org

Search Portage & Overlays:

dev-racket/require-typed-check

require/typed, but skips contracts on already-typed imports

Screenshots

Runtime Dependencies

require-typed-check-9999

>=dev-scheme/racket-8.1:=[-minimal]

require-typed-check-0_p20240312

>=dev-scheme/racket-8.1:=[-minimal]

require-typed-check-0_p20230302

>=dev-scheme/racket-8.1:=[-minimal]