RIDE inspiration

[email protected]!

Why Waves decided not to use Coq or Agda computer languages for smartcontracts at the beginning of RIDE development?