[03:53:36] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [03:54:08] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [04:05:41] *** Joins: drbean (~drbean@TC210-63-209-27.static.apol.com.tw) [05:28:36] *** Quits: drbean (~drbean@TC210-63-209-27.static.apol.com.tw) (Ping timeout: 240 seconds) [07:14:36] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [07:15:01] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [08:40:53] wmacmil: did you send the mail yet? I can be done with some code example in 10 mins or so, shall I hurry or just publish it later? [08:43:05] here's a repo, I'll fill it during the day https://github.com/inariksit/gf-talk-itc [08:50:36] and now there's content [12:06:16] regarding the message above, if I include the category, it parses but fails to typecheck? [12:06:38] l All (\x -> Eq x x) | p -cat=Prop [12:06:38] The parsing is successful but the type checking failed with error(s): [12:06:38] Function 'lindef Ind' is not in scope [12:06:38] 0 msec [12:08:39] this is the same error message in the bug report you linked [12:09:30] but since it works for you, do you think it's the version [12:09:34] y$ gf --version [12:09:36] Grammatical Framework (GF) version 3.10 [12:09:36] Built on linux/x86_64 with ghc-8.0, flags: interrupt server [12:09:43] thats what im running [12:33:31] *** Joins: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) [12:37:46] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 260 seconds) [12:56:06] wmacmil_: so that's the bug that was fixed in september [12:56:32] there's no new release yet, but if you compile gf from source, it should work [14:49:07] *** Quits: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [14:49:37] *** Joins: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) [15:23:42] reinstalled from source, works :) [15:28:43] yay! [15:42:20] here are my slides https://docs.google.com/presentation/d/11sMUWx8fJDxZd7dtyf9eDK_clccXZiD3WVdcBK1Vnkw/edit?usp=sharing [15:42:41] it's a bad format to share as pdf, because I have so many animations [15:43:03] but if someone wants to read my notes and scroll through the slides at the same time, it should be fine [15:56:51] im not sure who is host because i'm not sure if i have that permission [15:57:02] I'm just waiting for the host too [15:57:36] I actually managed to log in an hour ago, when I wanted to test the lighting and what parts of the flat I need to clean [15:57:44] and there was carlos speaking and sharing his screen [15:58:07] I just said quickly "sorry I just wanted to test" and quit right away [15:58:19] I don't know if that was some actual meeting, or if carlos wanted to practice something [15:58:35] would be funny if the actual meeting was an hour ago and we're late [18:32:35] thanks again, i really enjoyed and appreciated your presentation [18:35:44] good to hear ^_^ [18:42:36] now i really want to take on aarne's challenge of really breaking GF :_ [18:42:40] ) [18:42:56] (or proving that it can't be broken) [18:43:45] my evil plan is working! [18:47:41] by the way, i think with this grammar i now got working, with HOAS, i can actually use GF to do typechecking of a programming language with variables [18:48:15] i just need to do more testing later [19:41:50] cool! [22:05:26] *** Quits: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [22:05:53] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se)