Dear HOL users,
Does anyone know how to use the big record package? I always find I want to
turn it off (by increasing the big record size to above the max number of
fields in my types) because many things don't work on big records (in
particular the simplifier and EVAL) whereas they do work on "small" records.
Would it be OK to disable the big record package by default (e.g., set the
size limit to "infinity" by default)? Or would it be easy to make the above
tooling work for big records too? What are the advantages of big records
anyway?
Cheers,
Ramana
------------------------------------------------------------------------------
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
