Curry Howard Isomorphism Notes

[Andy Kitchen]

Hi All,

I did a presentation at the Melbourne Haskell Users Group last night.

As part of it I put together a Haskell file with a few examples of

the Curry Howard isomorphism. You may find it interesting.

https://github.com/andykitchen/curry-howard-iso

Kind Regards

AK

[Ken Scambler]

Oh that's neat.  Thanks Andy!

--
You received this message because you are subscribed to the Google Groups "fpmel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fpmel+un...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.