The concept of "Tetris complete" would be improved by having more Doom Can C++ metaprogramming run Doom? Can x86 mov run Doom? Can Gödel's general recursive functions run Doom? Can Dwarf Fortress run Doom? Can Doom (2016) scripts run Doom?
-
-
If you can make Doom run on Idris 2 while running Idris 2 on a microwave, you'd go down in internet history
-
Mmmm.. piping hot, dependently-typed Doom.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.