Hi,
not only SBCL but all Common Lisp platforms must implement DISASSEMBLE [1] as
it’s part of the standard (although outputs are platform-dependent). In ML
world, such facility must be platform dependent, if it exists.
[1]
http://www.lispworks.com/documentation/HyperSpec/Body/f_disass.htm#dis
Hi,
I saw how the new LTL formalization (in `examples/logic/ltl`) by Simon Jantsch
suddenly appeared in the past months and because more and more complete also
with help of HOL maintainers. But there’s already an older LTL formalization
(in `src/temporal`) since long time ago, done by Klaus Sch
On 17/05/18 18:12, Mario Xerxes Castelán Castro wrote:
> The Poly/ML mailing list appears to be down at the moment.
David Matthews is the guy behind this. I have contacted him privately,
and he has now updated the webiste http://polyml.org to refer to the
changed URL of the mailing list:
http://li
