maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: G J <gujinwh AT gmail.com>
- To: maude-help AT lists.siebelschool.illinois.edu
- Subject: [[maude-help] ] How to implement ITER in Maude
- Date: Tue, 11 Nov 2025 19:21:14 +0200
How to implement in Maude the following OBJ3 code? :
obj ITER[M :: MONOID] is
protecting LIST[M] .
op iter : List -> M .
var X : M . var L : List .
eq iter(nil) = e .
eq iter(X L) = X * iter(L) .
endo
protecting LIST[M] .
op iter : List -> M .
var X : M . var L : List .
eq iter(nil) = e .
eq iter(X L) = X * iter(L) .
endo
Thank you
- [[maude-help] ] How to implement ITER in Maude, G J, 11/11/2025
Archive powered by MHonArc 2.6.24.