I've been looking for an example of co-(Elgot algebra)s for quite some time, and
I came across a surprisingly nice example while working on my
I've talked about polyglot ATS/Haskell builds previously, but I wanted to show off the results of all this work without so much didactic focus.
I am happy to announce that
atspkg now has experimental support for
cross-compiling! I will give a short illustration of how this works using my own
Some examples and non-examples of monads.
I've been doing some more work with
atspkg and polyglot builds. It is now in
slightly better shape, and it gives us the ability to call ATS code in Haskell