Hello. 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. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
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 hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
