orbifx changed the topic of #logarion to: "Logarion texts archive https://logarion.orbitalfox.eu | Mailing list: https://lists.orbitalfox.eu/listinfo/logarion | Public logs: https://irclog.whitequark.org/logarion
refpga has joined #logarion
refpga has quit [Ping timeout: 272 seconds]
orbifx1 has joined #logarion
orbifx1 has quit [Ping timeout: 268 seconds]
Haudegen has joined #logarion
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #logarion
orbifx1 has joined #logarion
Haudegen has quit [Remote host closed the connection]
<orbifx1> hello all
orbifx1 is now known as orbifx
orbifx has quit [Read error: Connection reset by peer]
orbifx has joined #logarion
<orbifx> wow, everyone is from Matrix now days :)
refpga has joined #logarion
<refpga> Can we use pandoc for adding support for other markup formats? Org-Mode? TeX?
<orbifx> eventually yeah
<orbifx> but I want to support Org-mode natively
<orbifx> refpga: have you been learning OCaml?
<Refpga[m]> No, I have the cheatsheet though. I want to, I'd be looking into theorem proving for my next project. I think Hol-light is in Ocaml...
orbifx has quit [Quit: WeeChat 2.1]