Commits on Mar 26, 2024

1. Allow to beta reduce curried function applications in quotes reflect …

   Previously, the curried functions with multiple applications
   were not able to be beta-reduced in any way, which was unexpected.
   Now we allow reducing any number of top-level function applications
   for a curried function. This was also made clearer in the documentation
   for the affected (Expr.betaReduce and Term.betaReduce) methods.

   

   jchyb committed Mar 26, 2024
   Configuration menu

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

   Copy the full SHA

   8439370 View commit details

   Browse the repository at this point in the history