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.
I know it's been a while since this was published, but could you please check the latest issue about this? :P
approved some time ago
approved some time ago
This comment is hidden because it contains spoiler information about the solution
too late now with 150 completions, it would be unfair to invalidate them :(
I don't understand why this would matter, mind explaining?
This comment is hidden because it contains spoiler information about the solution
The tests only check for associativity. So addition is a valid answer.
Also see this solution. Anyway, why are we still using Haskell for theorem proving, when we already have Coq, Agda and Lean? ;-)
Those kata which teach practical skills are underated, I feel.
I don't think I'm mentally capable of completing this.
Sad this kata just died, hasn't had a solution in months. It could technically be approved with 5 ratings?
Get to know LambdaCase from your comment!
Fixed!
// BinOp has methods 'a()' and 'b()', both return 'Ast'
// UnOp has method 'n()' returning 'int'
a, b, n are fields not methods
Loading more items...