ReasonML edition.

[fhammerschmidt]

I converted the OCaml edition thanks to the Reason parser which can translate OCaml into Reason source code (and vice versa). Not everything did compile or typecheck, so there was still some manual work necessary.

I figured if I wanted to learn category theory, I'd rather do this in my everyday language so here's the ReasonML edition of CTFP!

[hmemcpy]

Oh wow! This is great, thank you :)
I don't speak ReasonML, so please feel free to tag people you'd think could give a hand in reviewing this! I'd be happy to merge it once you're satisfied with it!

[fhammerschmidt]

Of course.

@yawaramin @mlms13 @andywhite37 @Risto-Stevcev
or anybody who feels like it, please review if you want.

[andywhite37]

@fhammerschmidt - this is really cool! I've been meaning to check out this book, so this is a good excuse. I don't know if I'll have time to do a thorough review, but the stuff I saw at a quick glance looked good.

[JasoonS]

I don't think these module types make it easy to understand if you are not very experienced with reason. I see in Yawar's PR to the ocaml version he also simplified it.

I guess it isn't correct to say let f: a => b; alone, but for pedagogical reasons I feel it is better.

[fhammerschmidt]

I will update accordingly when his PR gets merged.

[fhammerschmidt]

Can we please merge this?

It's probably not perfect for now, because I am still waiting for #242 to adapt, but I think it is better to have the bulk merged now.

[drupol]

We need to also update the Github actions workflow to include this new edition.

[hmemcpy]

Yeah, very sorry for neglecting! :(
Would be happy if you rebased on top of the latest changes to make sure all build workflows are included.
Will be happy to merge then.

[fhammerschmidt]

Rebased and added Reason to workflows: a537ebd

[hmemcpy]

Amazing, let's do this! 🎉

[hmemcpy]

Thanks all very much for your contributions!!