[01:25:42] *** Quits: drbean_ (~drbean@124.219.83.41) (Remote host closed the connection)
[01:28:17] *** Joins: drbean (~drbean@124.219.82.41)
[03:13:21] *** Quits: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
[03:22:14] *** Quits: esg (~emil@esg.xen.prgmr.com) (Ping timeout: 260 seconds)
[03:22:22] *** Joins: esg (~emil@esg.xen.prgmr.com)
[04:03:03] *** Joins: drbean_ (~drbean@124.219.82.41)
[04:05:21] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 244 seconds)
[06:28:34] <drbean_> What's happening here with PGF in ghci?
[06:30:40] <drbean_> *Tests> :t liftM (showLanguage . head . languages) (readPGF "PieEng.gf")
[06:30:43] <drbean_> liftM (showLanguage . head . languages) (readPGF "PieEng.gf") :: IO String
[06:30:44] <drbean_> *Tests> liftM (showLanguage . head . languages) (readPGF "PieEng.gf")
[06:30:46] <drbean_> *** Exception: Unsupported PGF version (11565,8992). Failed reading at byte position 4
[09:26:54] *** Joins: spectei (~fran@unaffiliated/spectie)
[09:42:12] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 260 seconds)
[11:57:33] *** Joins: spectei (~fran@88.128.80.192)
[11:57:33] *** Quits: spectei (~fran@88.128.80.192) (Changing host)
[11:57:33] *** Joins: spectei (~fran@unaffiliated/spectie)
[12:03:26] <inariksit> drbean_: could your PGF file have been compiled with a different version of GF than what you're using now?
[12:11:44] *** Joins: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de)
[12:12:09] <inariksit> "Finally, the last paper presents a collection of tools meant to help grammar engineering work in the Grammatical Framework community: a tokenizer; a library to embedded grammars in Java applications; a build server; a document translator and a kernel to Jupyter notebooks."
[12:12:18] <inariksit> wow why didn't I even know of this stuff
[12:12:46] <inariksit> "this stuff" = grégoire's work
[13:08:33] *** Quits: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
[14:17:01] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 258 seconds)
[16:28:48] *** Joins: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de)
[17:03:21] *** Joins: spectei (~fran@unaffiliated/spectie)
[17:22:03] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 244 seconds)