mgttlinger

@cachix_org Ok seems to be working again. Was there an issue on your side or is my setup broken?

@cachix_org Is cachix currently experiencing issues because the website doesn't load and all caches return error 504 for me?

@WiemZin Depending on where you are you could possibly buy tickets with this app in a language of your choice: jakdojade.pl

@shravanvasishth @DerSPIEGEL This reminds me of this comic: smbc-comics.com/comic/2009-08-…

@edwinbrady That is pretty cool but the free theorems you get from the type signatures become a lot weaker, right? How does that interact with the automatic implementation of signatures the compiler can generate?

@tmalsburg Ich weis nicht ob der Link noch funktionieren sollte aber aktuell funktioniert er nicht.

@d_christiansen Yeah, I figured that this might not necessarily be the right thing for your concrete use-case but possibly useful somewhere related to that like for presenting the complete code that would be in some kind of appendix or similar.

@mgttlinger It seems as though it may be a bit too heavyweight for the "lecture notes" use case, and I think I need to make things that work offline and can spit out PDF as well. Sorry I forgot to mention that!

What are the best ways of making expository text about Haskell code these days, where the Haskell is at least runnable and testable, while hyperlinking would be even better? I'd like to be able to make something like davidchristiansen.dk/tutorials/nbe/ .

Verifying myself: I am mgttlinger on Keybase.io. qz8oOxnmNEEWOrTI5YHXkB9_oKEB6ojld5sO / keybase.io/mgttlinger/sig…