[15:56:25] <drbean_> Trying to move to PGF2.
[15:56:32] <drbean_> Interesting:
[15:56:49] <drbean_> Prelude PGF2> :t functions
[15:56:52] <drbean_> functions :: PGF -> [Fun]
[15:56:54] <drbean_> Prelude PGF2> :t functionsByCat
[15:56:56] <drbean_> functionsByCat :: PGF -> Cat -> [Fun]
[15:58:23] <drbean_> Was:
[15:58:34] <drbean_> Prelude PGF> :t functions
[15:58:36] <drbean_> functions :: PGF -> [CId]
[15:58:38] <drbean_> Prelude PGF> :t functionsByCat
[15:58:40] <drbean_> functionsByCat :: PGF -> CId -> [CId]
[16:04:32] <drbean_> There's no cheatsheet for the move from PGF to PGF2, like http://hackage.haskell.org/package/gf
[16:06:04] <drbean_> But https://www.grammaticalframework.org/doc/runtime-api.html looks like it will do.
[16:10:31] <drbean_> Looks like I need to make use of the fact Cat and Fun are instances of Show and Read to replace showCId and mkCId.
[18:58:39] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-223.revip18.asianet.co.th) (Ping timeout: 260 seconds)
[19:00:31] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-223.revip18.asianet.co.th)
[23:00:27] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds)
[23:04:40] *** Joins: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com)
[23:04:41] *** Quits: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com) (Changing host)
[23:04:41] *** Joins: jbalint (~jbalint@unaffiliated/jbalint)