This repository has been archived by the owner on Apr 20, 2024. It is now read-only.

Use HammerIR API when available for HammerIR emission #51

Open

colinschmidt opened this issue Mar 25, 2019 · 0 comments

Contributor

colinschmidt commented Mar 25, 2019

Should make #50 nicer

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.