Bancor has a backdoor

Such a simple scripting language should not be used. Agda or Idris are way better alternatives.<p>For something as important as money and contracts we should leave no doubt. Writing contracts is hard, programming should be hard too.