Files
Thun/implementations
Simon Forman b76213ff7e Expression is a list-of-lists now.
That way we don't have to concatinate quotes onto it all the time.
Instead we amortize in the next_term() function.
2023-02-04 13:38:28 -08:00
..
2023-02-04 13:38:28 -08:00
2022-09-20 17:56:18 -07:00
2022-09-28 21:22:19 -07:00
2022-09-28 22:07:28 -07:00
2022-10-17 17:51:12 -07:00
2022-10-15 20:04:27 -07:00
2022-09-16 20:49:46 -07:00