From 4c85cc245d53261ccbd1b67140024fd54bdedb74 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 28 Nov 2012 11:45:46 -0500 Subject: Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it --- tests/pow.ur | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/pow.ur (limited to 'tests/pow.ur') diff --git a/tests/pow.ur b/tests/pow.ur new file mode 100644 index 00000000..f03fe47b --- /dev/null +++ b/tests/pow.ur @@ -0,0 +1,4 @@ +fun main () : transaction page = return +
  • 2^4 = {[pow 2 4]}
    • +
  • 3.4^5.6 = {[pow 3.4 5.6]}
    • +     -- cgit v1.2.3