OpenDAL Idris Binding #1768
Description
Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but it is designed to be a general-purpose programming language similar to Haskell.
I want to play with idris for fun, and build an opendal binding for it is the best way. 🚀