Perhaps a book on Idris would be of use? https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development

Perhaps a book on Idris would be of use? https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...