search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Support Exponentation Operator #1124

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

(see https://github.com/boogie-org/boogie/issues/507)

JavaScript supports the exponentiation operator:

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Exponentiation