3 ms·

I have started looking into it for the same reasons. So far it feels like programming in F# but with nice tasty refinement types added. So fairly straightforwar

by jnash 4y ago

I have started looking into it for the same reasons. So far it feels like programming in F# but with nice tasty refinement types added. So fairly straightforward.