GitHub repository: proglang/choice-of-bounds
Primary language: Racket
Created: 2016-12-19T15:28:32Z
Description: metatheory for choice-of-bounds types