What are the reasons for choosing either the standard or the
experimental kernel over the other one?

I understand that at the level of implementation, the standard kernel
uses de Bruijn indices and has support for explicit lazy beta
conversions (with an internal explicit substitution calculus) while the
experimental kernel has no lazy beta conversions and uses the same
representation for free and bound variables. But what are the
differences at the end user level?

Do not eat animals; respect them as you respect people.

Attachment: signature.asc
Description: OpenPGP digital signature

Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
hol-info mailing list

Reply via email to