Skip to content

formalism: Clean up formatting of untyped hazelnut metatheorems #137

formalism: Clean up formatting of untyped hazelnut metatheorems

formalism: Clean up formatting of untyped hazelnut metatheorems #137