3 ms·
Even better: Dependent Types combined with Refinement Types. See F* (F-star).
by mbrodersen 4y ago
Even better: Dependent Types combined with Refinement Types. See F* (F-star).
- quickthrower2 4y agoRefinement Types… thats the phrase I was looking for. Thanks!