Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
republished a fix that evaluates the output of
identitySortand added some random testcasese.for some reason
solutionShouldHidefails to parse the Solution so I couldn't use it to block certain modules. Instead I tried to add an evaluation at the end to hopefully disallow that kinds of solutions.using
readswas actually quite bad of an ideaThis thing took quite a bit to do
Why is Idris an option here? there is an Idris equivalent of this problem that is only 7 KYU