Quicksort in Idris
I have some experience with Haskell [1], but I&#x27;m absolutely lost here. Can someone explain all this dependent-type syntax that&#x27;s going on there, or would that be out of scope for a single comment?<p>[1] The biggest Haskell program I wrote until now was a spellchecker as the final project for a university course.