Owned by Denis Kolodin, jkaye2012.
#5 in #refinement
4KB
Simple refinement types; parse, don't validate!