1 2 3 4 5 6 7 8 9 10 11
(library (name Elaborator) (public_name toytt.elaborator) (libraries algaeff bwd toytt.ast toytt.ident toytt.nbe toytt.pretty toytt.reporter))