3 ms·
Not more useful in practice than Dependent Types and/or Refinement Types. F* (F-Star) is a good example of this.
by jnash 4y ago
Not more useful in practice than Dependent Types and/or Refinement Types. F* (F-Star) is a good example of this.
loading thread…