/idris2-sinter

update sinter backend to work with the current idris backend

Primary LanguageIdrisOtherNOASSERTION

idris2-sinter

A sinter backend for Idris2.

Developed during the 2021 Idris2 Developer's Meeting.