[10:49:12] *** Joins: jstar (~jstar@unaffiliated/jstar)
[12:08:44] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds)
[14:03:42] *** Joins: fotonzade (~fotonzade@78.189.158.97)
[15:50:33] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving)
[17:20:16] *** Quits: nightshift (~kook@109.107.211.244) (Remote host closed the connection)
[17:22:12] *** Joins: nightshift (~kook@109.107.211.244)
[17:29:26] *** Joins: fotonzade (~fotonzade@78.189.158.97)
[17:30:36] *** Quits: nightshift (~kook@109.107.211.244) (Ping timeout: 260 seconds)
[18:44:42] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving)
[18:45:00] *** Joins: fotonzade (~fotonzade@78.189.158.97)
[20:44:01] *** Joins: freeside (~user@host109-152-230-87.range109-152.btcentralplus.com)
[22:21:57] <freeside> mooo!
[22:22:34] <freeside> so, i find myself needing to build a grammar for your basic boolean propositional logic, with logical conjunction and disjunction.
[22:22:42] <freeside> i know that GF comes with Bool; it even comes with PBool.
[22:22:53] <freeside> but does it come with any logical operators like && and ||?
[22:45:40] <freeside> oof.
[22:45:45] <freeside> does Prelude need to be opened, or does it not?
[22:45:49] <freeside> i thought it was automatically opened.
[22:50:36] <freeside> oh, it's Predef that's automatically opened.
[22:50:36] <freeside> gnash
[23:22:50] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving)