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

Imports updated

parent 2603ebfb
-- Testing the equivalence of non-terminating operations: -- Testing the equivalence of non-terminating operations:
import Nat import Data.Nat
import Test.Prop import Test.Prop
-- Two different infinite lists: -- Two different infinite lists:
......
...@@ -14,6 +14,7 @@ ...@@ -14,6 +14,7 @@
"easycheck" : ">= 0.0.1", "easycheck" : ">= 0.0.1",
"flatcurry" : ">= 2.0.0", "flatcurry" : ">= 2.0.0",
"frontend-exec" : ">= 0.0.1", "frontend-exec" : ">= 0.0.1",
"peano" : ">= 1.0.0",
"rewriting" : ">= 2.0.0", "rewriting" : ">= 2.0.0",
"setfunctions" : ">= 0.0.1", "setfunctions" : ">= 0.0.1",
"wl-pprint" : ">= 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