Mark Thom 05c1275acf switch internal counts to use BigUint.

2018-02-24 09:41:25 -07:00

..

l0

fix unification bugs.

2017-01-27 21:54:53 -07:00

l1

add dumb comments

2017-02-03 00:49:16 -07:00

l2

minor tweak

2017-02-28 13:33:28 -07:00

l3

transition to l3

2017-03-04 19:22:43 -07:00

prolog

switch internal counts to use BigUint.

2018-02-24 09:41:25 -07:00

main.rs

fix bugs in call_with_inference_limit

2018-02-21 19:46:15 -07:00

test_utils.rs

inline and expand conditionals whenever possible

2018-01-23 21:01:53 -07:00

tests.rs

add more tests.

2018-02-23 16:43:12 -07:00