RIDE inspiration


#1

[email protected]!

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