Skip to main content

Browse the archive

Revision af067ba87ab4105d577e5371748e10082c140146 authored by Pierre-Yves Strub on 26 August 2022, 06:02:12 UTC, committed by Pierre-Yves Strub on 30 August 2022, 07:26:44 UTC 
In `cloning ... with lemma...`, disable inference for `apply`
 
Ref #247
1 parent 0aeaa74
History
File Mode Size
Plug_and_Pray.eca -rw-r--r-- 1.6 KB
Plug_and_Pray_example.ec -rw-r--r-- 2.7 KB
back to top