James Shubin a0e756317c lang: Add tests for slow unification ...

These used to be cases where our algorithm was unusably slow.

Thanks to foxxx0 for the report!

2019-07-21 03:15:06 -04:00

..

TestAstFunc1

lang: Add function values and lambdas

2019-07-17 00:27:09 -04:00

TestAstFunc2

lang: Add tests for slow unification

2019-07-21 03:15:06 -04:00