maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: "Francesoc Bongiovanni" <bongiovanni AT gmail.com>
- To: maude-help AT lists.cs.illinois.edu,traian.serbanuta AT fmi.unibuc.ro
- Subject: Re: [[Maude-help] ] higher order FILTER function
- Date: Mon, 25 Apr 2016 02:10:45 -0500
Thanks a lot Traian ! works like a charm :)
ps : I am a big fan of your work around K ! keep on the good work
- [[Maude-help] ] higher order FILTER function, Francesoc Bongiovanni, 04/22/2016
- Re: [[Maude-help] ] higher order FILTER function, Traian Florin Şerbănuţă, 04/22/2016
- Re: [[Maude-help] ] higher order FILTER function, Francesoc Bongiovanni, 04/25/2016
- Re: [[Maude-help] ] higher order FILTER function, Traian Florin Şerbănuţă, 04/22/2016
Archive powered by MHonArc 2.6.16.