Commit 16522a52 authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parent 2603ebfb
-- Testing the equivalence of non-terminating operations:
import Nat
import Data.Nat
import Test.Prop
-- Two different infinite lists:
......
......@@ -14,6 +14,7 @@
"easycheck" : ">= 0.0.1",
"flatcurry" : ">= 2.0.0",
"frontend-exec" : ">= 0.0.1",
"peano" : ">= 1.0.0",
"rewriting" : ">= 2.0.0",
"setfunctions" : ">= 0.0.1",
"wl-pprint" : ">= 0.0.1"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment