The online hangout for Göteborg Functional Programming Group and everybody interested.
oh! that’s pretty neat
I need to play with that
FYI, this keynote at BobKonf is one of the Language Oriented Programming talks I saw at ICFP: https://twitter.com/LeifAndersen/status/953999709319913475
a bit of googling tells me there's already videos from other confs :p https://www.youtube.com/watch?v=OZXslNVaCOQ
@Jell For my SAT solving exercise, I happened to write (naïvely, and then re-write) a propositional logic data type and some functions (hence my interest in Heyting algebras all of a sudden) and implemented an intuitionistic fuzzy logic (that is not Boolean but Heyting). I can turn that into a meetup presentation as well. Probably not solo, because it will probably be rather too dry for some people. :-)
omg this sounds super interesting @jolod
@Jell Nah, dunno. It's really fringy to be honest. :-)
Is the non-Boolean Heyting algebra I created useful? Not sure. I just did it to have a counter example.
I mean, I was already sold, no need to sell it further :p