5 commits

Author	SHA1	Message	Date
Simon Cruanes	0f21cf069e	test: update expected results	2022-08-29 20:28:42 -04:00
Simon Cruanes	68c03a39b3	feat(core-logic): add a few builtins (=, bool, ite, not, true, false)	2022-07-28 20:50:12 -04:00
Simon Cruanes	a4db8b6e94	small improvement	2022-07-28 15:27:14 -04:00
Simon Cruanes	e235a65567	test: add more to unittest/core-logic	2022-07-28 14:52:02 -04:00
Simon Cruanes	dbd20c999b	refactor test	2022-07-28 13:55:09 -04:00