6 Commits

Author	SHA1	Message	Date
Zach Laine	d670025ec3	Simplify lazy_vector.cpp with a new convenience macro.	2016-12-07 20:01:20 -06:00
Zach Laine	4d067bd072	Cruft removal.	2016-12-07 20:01:20 -06:00
Zach Laine	29a7bedc00	Add reference-to-expr expr_kind expr_ref; expressions used in other expressions are now captured by reference.	2016-12-07 20:01:20 -06:00
Zach Laine	0b2e571a9b	Add lazy_vector example (needs optimization).	2016-12-07 20:01:19 -06:00
Zach Laine	7d243f40b0	Add calc examples.	2016-12-07 20:01:18 -06:00
Zach Laine	de4086622e	Add a first example, hello_world.	2016-12-07 20:01:18 -06:00