Type-Driven Development(manning.com)2 points·by Couto·vor 9 Jahren·0 commentsmanning.comType-Driven Developmenthttps://www.manning.com/books/type-driven-development-with-idris0 commentsPost comment—