Helping out? about hlearn

[mikeizbicki]

If there's something you're specifically interested in, I can help you out with that. Otherwise, there's dozens of FIXME annotations in the subhask code. They have varying difficulty from really easy to really hard. You could pick one or two that interest you and I could help you get started with them.

[sacsar]

So there are two that I think I might be able to tackle:
There are two of these for semigroups:

FIXME: this should be in the Monoid class, but putting it there requires a lot of changes to Eq

It sounded like that might be low-hanging fruit, but it looks like maybe you'd need to override Data.Eq or something. (Or should the Eq in those comments be Eq_?)

With a bit of guidance to get going, I could likely tackle this one:

FIXME: add the axioms for intuitionist logic, which are theorems based on these laws

[mikeizbicki]

FIXME: this should be in the Monoid class, but putting it there requires a lot of changes to Eq

It sounded like that might be low-hanging fruit, but it looks like maybe you'd need to override Data.Eq or something. (Or should the Eq in those comments be Eq_?)

This one I have taken care of in another branch that. It just needs a bit more tweaking until it gets merged.

With a bit of guidance to get going, I could likely tackle this one:

FIXME: add the axioms for intuitionist logic, which are theorems based on these laws

That'd be awesome :)

I honestly don't know too much about intuitionist logic, but maybe these links can get you started: https://en.wikipedia.org/wiki/Heyting_algebra#Heyting_algebras_as_applied_to_intuitionistic_logic, https://en.wikipedia.org/wiki/Intuitionistic_logic#Heyting_algebra_semantics

[sacsar]

I don't know much either, but I can chase definitions.