
You need to take a look at curry … http://www-ps.informatik.uni-kiel.de/currywiki/start http://www-ps.informatik.uni-kiel.de/currywiki/start Simon
On 28 Jan 2015, at 17:37, Joe Hillenbrand
wrote: What does "pure logical" mean?
On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl
mailto:timotej.tomandl@gmail.com> wrote: This question was bugging me for quite a long time. Can we have a language which uses the functional logic while being both pure functional and pure logical? Do we get any advantages from maintaining both both of this purities at the same time? P.S.: I have feeling the answer is no, but I am not sure.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org mailto:Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt