Comment on Why is Idris 2 so much faster than Idris 1?parentComments−kryptiskt6yIf you have codata you can have infinite loops in total functional programming.https://en.wikipedia.org/wiki/Corecursion
Comments
If you have codata you can have infinite loops in total functional programming.
https://en.wikipedia.org/wiki/Corecursion