It is also a lot of work to prove your code. Here, have a nice Idris video to gi...

		kazagistar on June 11, 2014 \| parent \| context \| favorite \| on: Types Are The Truth It is also a lot of work to prove your code. Here, have a nice Idris video to give you a taste: https://www.youtube.com/watch?v=P82dqVrS8ik