Data.Real is missing the ^ operator

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

Open sweirich opened 6 years ago

nomeata commented 6 years ago

JFTR, this is no longer blocking riskv (we just map it to Z.pow)

sweirich commented 6 years ago

Leaving this here so we don't forget. Data.Real is manual but not complete.