Snippets tagged holes
-
Emulating Idris-style holes
A simple function that sort of emulates the holes feature of Idris for F#
15 people like this
Like the snippet!Posted: 6 years ago by Eirik Tsarpalis
A simple function that sort of emulates the holes feature of Idris for F#
15 people like thisPosted: 6 years ago by Eirik Tsarpalis