Commits on Sep 6, 2024

1. Make Var a coercion …

   It was originally not due to failing the "uniform inheritance criteria",
   but this criteria is no longer required.
   
   This should ensure that variables are actually printed as strings,
   hiding the Var coercion, which will make code much more readable without
   the ugly hack of the `Var'` coercions.
   
   The massive fallout is due to removing many coercions Var' that were
   defined for specific type parameters, all of which can now use the
   single coercion on Var.

   

   tchajed committed Sep 6, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 03205f1
   • Browse repository at this point

   Copy the full SHA

   03205f1 View commit details

   Browse the repository at this point in the history