rob-kuz
Re:Dependent Types for F#
on Tuesday December 05, 2017 @11:08AM (#15852585)
Very cool library that Jack implemented here using an idea from my blog. We are using it in production. Works really nice.