Feature-request: add ghci for haskell (ghc but an interpreter, which allows commands for debugging or avoid a main function) and PyPy for Python 3 (3.5.3 is current version).
Downloads for GHC (which include GHCI) https://www.haskell.org/ghc/ Info about it: https://wiki.haskell.org/GHC/GHCi This could be used through the inputs.
@FrenchMasterSword I want to say all of those have been been denied at one point or the other but searching for coq doesn't find anything so that one might be my imagination