4 ms·

This sounds very interesting. Could you explain more about that?

• exdsq 4y ago
  Not OP but check out type driven development - there’s a few great F# blogs on the topic and a book on Idris if you want to go further