Snippets tagged idris
-
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: 5 years ago by Eirik Tsarpalis
A simple function that sort of emulates the holes feature of Idris for F#
15 people like thisPosted: 5 years ago by Eirik Tsarpalis