Dustin Wehr

http://definitelytyped.org/pages/language-issues.html is out of date now, right? I think some of those issues have been addressed (e.g. union types, tuple types), and links should go to GitHub?

I took some time (too much) to refine the Mixin pattern I've been using, with the intention of offering to write a new version of http://www.typescriptlang.org/Handbook#mixins if you guys like...

So does nobody have a build of the ref manual that they can upload somewhere??? Ditto for pdfs built from all the latex in the tutorial examples. I am trying...

@grosu Thank you for that fast response! Is the compilation to pdf of the latex in the literate programming tutorial examples not working, then? I've tried with the `kompile` command...

@grosu I forgot to say in my last message; proofs would indeed be our primary reason for using K. I'm looking at https://runtimeverification.com/blog/?p=496 and wondering how far along the Deductive...

This request page worked for me: https://dragula-slackin.herokuapp.com/

@Ryuno-Ki Pseudo produces source for humans, not just for execution. Emscripten doesn't have that goal, right?

@Ryuno-Ki sorry I misunderstood. @alehander42 mypy is pretty great. My only complaint is that they haven't implemented recursive types yet, but it's on their list.

@alehander42 I've been thinking along the same lines as you, off and on, for years now. I have a project called NoLockin (I do like the name "Pseudo" better), which...

@alehander42 Haxe has the safe source language property you mention. My main gripes with it are not that it bundles a runtime with GC (that's a smaller gripe), but with...