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.
You are right, this kata is not haskell at all. (Though I have read "Learn You a Haskell")
Anyway, I'll un-publish it.
My bad, your solution should pass, I didn't consider floating point inaccuracy while writing tests.
Thanks for your feedback.
In fact all 3 unspecified cases are listed, and I transleted the examples into Haskell.
Is the description clear enough now?
This comment is hidden because it contains spoiler information about the solution
With some experience in agda, things become really easy and fun :)
This comment is hidden because it contains spoiler information about the solution
Really joyful, thank you for making this.
This comment is hidden because it contains spoiler information about the solution
Test cases are so VIOLENT(暴 力).
Thank you, I just forgot to use
private
, which was stupid.Though my solution is not so smart, this kata really helps me a lot, thank you again for your work.
This comment is hidden because it contains spoiler information about the solution
This comment is hidden because it contains spoiler information about the solution
qwq
Some typos are in the description.
Loading more items...