This idea is amazing, and amazingly ambitious. I wonder if the morloc language (as distinct from the tool) really has to be a new language, or if it could be r

This idea is amazing, and amazingly ambitious. I wonder if the morloc language (as distinct from the tool) really has to be a new language, or if it could be represented in Haskell or a more flexible variant like Agda or Idris.