microproofs
|
cd726b561e
|
feat: add removal of discard lets
chore: Name change for AirTree sequence
feat: finish up assignment constructor and list for airtree builder
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
59362e3d8c
|
feat: almost done assignment have tuple and constr left
feat: modified the AirTree structure to have statements, sequences, and expressions
feat: changed the hoist_over function to be universal
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
65bb7e48e2
|
feat: start on build assignment
feat: implement assignment hoisting
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
c359bd35d7
|
feat: update tree to allow for let hoisting
feat: start on build for when expressions
feat: add builder methods for AirTree
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
83ade9335f
|
feat: implement most of airtree build
|
2023-08-07 12:02:44 -04:00 |
|
microproofs
|
5e097d42ba
|
feat: add AirTree types and builder functions
|
2023-08-07 12:02:44 -04:00 |