These are chat archives for got-lambda/expression

19th
Jan 2018
Jean-Louis Giordano
@Jell
Jan 19 2018 04:54
oh! that’s pretty neat
I need to play with that
Jean-Louis Giordano
@Jell
Jan 19 2018 06:36
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
jolod
@jolod
Jan 19 2018 14:04
@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. :-)
Jean-Louis Giordano
@Jell
Jan 19 2018 18:11
omg this sounds super interesting @jolod
jolod
@jolod
Jan 19 2018 19:04
@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.
Jean-Louis Giordano
@Jell
Jan 19 2018 20:03
I mean, I was already sold, no need to sell it further :p