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