Comment on Idris, a language that will change the way you think about programming (2015)parentComments−serverholic10yYou can choose how rigorous you want your proof to be.I'd highly recommend reading Chapter 1, Section 1.3 from Type-Driven Development. The first chapter is free.https://www.manning.com/books/type-driven-development-with-i...
Comments
You can choose how rigorous you want your proof to be.
I'd highly recommend reading Chapter 1, Section 1.3 from Type-Driven Development. The first chapter is free.
https://www.manning.com/books/type-driven-development-with-i...