Edwin Brady 68f6f4dbd5 Cache intermediate results in totality checking ... This saves a lot of unnecessary exploring of size change graphs, which can get over the top quite quickly if there's complex mutual definitions, or even just a single function with an interesting variety of recursive calls. Fixes #1365 Fixes #1277 Fixes #645		2021-05-26 15:48:09 +01:00
..
expected	Cache intermediate results in totality checking	2021-05-26 15:48:09 +01:00
Issue361.idr	removed trailing whitespace (#955)	2021-01-21 11:33:03 +00:00
run	[ fix #361 ] Use the default totality by default	2020-08-31 16:42:53 +01:00