hannes changed the topic of #mirage to: https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.10 is released - happy hacking!
Haudegen has joined #mirage
<ehmry> what is the best way to find documentation for modules sin the mirage examples?
<ehmry> Cstruct for example
<ehmry> search engines work but I'm not sure what is in scope and from where
<sterni> I think most documentation is hosted via github pages
<sterni> everything dbuenzli can be found on https://erratique.ch
<reynir> I saw https://docs.ocaml.pro/ recently on the ocaml weekly news mail
<ehmry> ok this is easier than I first thought
<dinosaure> or docs.mirage.io which is the official one maintained by the mirage team
<ehmry> I would hate opam a little less if it would warn when pinning dirty git repos
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
jpds has quit [Remote host closed the connection]
jpds has joined #mirage
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #mirage
Hrundi_V_Bakshi has joined #mirage
Hrundi_V_Bakshi has quit [Client Quit]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #mirage
smorimoto has quit [Ping timeout: 246 seconds]
reynir[m] has quit [Ping timeout: 245 seconds]
avsm[m] has quit [Ping timeout: 245 seconds]
smondet[m] has quit [Ping timeout: 248 seconds]
NULLHeThey[m] has quit [Ping timeout: 246 seconds]
apache8080 has joined #mirage
smondet[m] has joined #mirage
smorimoto has joined #mirage
avsm[m] has joined #mirage
avsm[m] has quit [Ping timeout: 245 seconds]
smondet[m] has quit [Ping timeout: 245 seconds]
smorimoto has quit [Ping timeout: 258 seconds]
reynir[m] has joined #mirage
NULLHeThey[m] has joined #mirage
avsm[m] has joined #mirage
smorimoto has joined #mirage
smondet[m] has joined #mirage
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #mirage
apache8080 has quit [Ping timeout: 245 seconds]
apache8080 has joined #mirage
apache8080 has quit [Quit: WeeChat 1.9.1]
apache8080 has joined #mirage
DonRichie has quit [Quit: bye]
DonRichie has joined #mirage
Haudegen has quit [Ping timeout: 240 seconds]
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 265 seconds]
yomimono has joined #mirage
apache8080 has quit [Ping timeout: 265 seconds]