dev-racket/termination
Dynamic enforcement of size-change termination
Screenshots
-
termination-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
termination-0_p20190530~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Runtime Dependencies
termination-9999
dev-racket/bnf
dev-racket/set-extras
dev-racket/traces
dev-racket/unreachable
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/set-extras
dev-racket/traces
dev-racket/unreachable
>=dev-scheme/racket-8.1:=[-minimal]
termination-0_p20190530
dev-racket/bnf
dev-racket/set-extras
dev-racket/traces
dev-racket/unreachable
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/set-extras
dev-racket/traces
dev-racket/unreachable
>=dev-scheme/racket-8.1:=[-minimal]