DAG Proof Output#2

Open

Tia-Vu wants to merge 10 commits intooflatt:oflatt-term-proofsfrom

Tia-Vu:oflatt-term-proofs

Commits on Sep 5, 2023

added tree flag
Tia-Vu
committed

Commits on Sep 6, 2023

Commits on Sep 7, 2023

finished dag printing
Tia-Vu
committed

Commits on Sep 8, 2023

fixed lookup-proof desugaring with dag flag
Tia-Vu
committed

Commits on Sep 20, 2023

correct ordering of value terms
Tia-Vu
committed

Commits on Oct 17, 2023