[isabelle] Isabelle + Alice
I am trying to get Isabelle2005 to work with Alice, a functional
programming language based on Standard ML, extended with rich support
for concurrent, distributed, and constraint programming.
Does anyone have any experience on attempting something on these lines,
i.e, getting Isabelle2005 to work on a non-standard ML flavour?
I will be grateful to hear any useful info on this: any tweaks that
will help etc.
This archive was generated by a fusion of
Pipermail (Mailman edition) and