csaltachin

Name:Unknown

Clan:Unknown

Member Since:Nov 2019

Last Seen:Oct 2024

Profiles:

Following:0

Followers:0

Allies:0

- csaltachin
- commented on "The most imperative functional language?" kata
This comment is hidden because it contains spoiler information about the solution
- csaltachin
- commented on "The most untyped typed language?" kata
This comment is hidden because it contains spoiler information about the solution
- csaltachin
- commented on "Evaluate mathematical expression" kata
This comment is hidden because it contains spoiler information about the solution
- csaltachin
- commented on "Isomorphism" kata
This comment is hidden because it contains spoiler information about the solution
- csaltachin
- created an issue for "A+A=B+B so A=B? Prove it in Haskell!" kata
Haskell noob here -- I wrote up something that seems to typecheck and pass the sample tests, but it times out on submission with logs "Generating tests...". Is this necessarily an issue with my solution module? Otherwise, how should I interpret this -- should I be looking for a simpler proof?
- csaltachin
- commented on "A+B=B+A? Prove it!" kata
But professor, my induction is correct! It compiled in Haskell!