GitHub repository: philnguyen/termination
Primary language: Racket
Created: 2018-03-30T04:37:03Z
Description: Modified Racket with dynamic enforcement of (size-change) termination