Note: This channel on freenode is currently not being logged anymore. The logs are reproduced here for posterity.

Show unique PDF links →

2021-05-02 12:54:31 +0200mc47[m]posted a file: (335KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/BqVVhABRUamryEFVygPvQUhz/XMonad.Hooks.Stat… >
2021-05-02 12:44:25 +0200mc47[m]posted a file: (333KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/tNLzXafrXBNhvfqgpBiiEujs/XMonad.Hooks.Stat… >
2021-03-24 13:11:32 +0100 <Solid> if you want to link to something about formal verification I think this https://webspace.science.uu.nl/~swier004/publications/2012-haskell.pdf is much better
2021-03-17 10:23:30 +0100 <mc47> You can read it here :D https://www21.in.tum.de/teaching/osp/WS20/assets/fr-megdiche-xmonad.pdf