4 ms·
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
by exdsq 5y 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