refinement-types
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Is there a way to do this kind of F# refinement typing in OCaml? |
|
8 | 1569 | March 24, 2021 |