night has quit [Read error: Connection reset by peer]
NightA has joined #nixcon
Degi has quit [Ping timeout: 256 seconds]
Degi has joined #nixcon
zupo has joined #nixcon
zupo has quit [Ping timeout: 240 seconds]
zupo has joined #nixcon
<bk1603[m]>
pie_: you asked me to remind you about if you had any more questions. I know I'm like pretty late :P
<bk1603[m]>
Also I think I understand a bunch of stuff now, I know exactly what I gotta do I guess. But before making a comment onto the issue, I'd like to test things out once.
<bk1603[m]>
I just asked a question in the #nixos-dev channel, I'll wait for a response and then I'll continue
<bk1603[m]>
(Also was it you on #isabelle?)
nicoo has quit [Remote host closed the connection]
zupo has quit [Ping timeout: 256 seconds]
zupo has joined #nixcon
nicoo has joined #nixcon
zupo has quit [Ping timeout: 256 seconds]
<pie_>
bk1603[m]: yeah i also hang around in theorem prover channels but i just cant seem to manage to focus enough to break into the area xp
zupo has joined #nixcon
<pie_>
bk1603[m]: also its fine i might still be putting it off a bit ':D we'll see
<bk1603[m]>
pie_: Oh yes theorem proving definitely is tough, (and there is this lack of enough time in general too I suppose). I too want to break into it. I occasionally read the book concrete semantics whenever I get time, and I try to solve the problems in it. No great progress though, still on the first chapter.
<bk1603[m]>
Also no worries :P If you want to, I'll remind you again whenever I this crosses my mind again.
<bk1603[m]>
s/I//
<pie_>
works for me
<bk1603[m]>
Cool! :D
justanotheruser has quit [Ping timeout: 268 seconds]