update sinter backend to work with the current idris backend
Primary LanguageIdrisOtherNOASSERTION
A sinter backend for Idris2.
Developed during the 2021 Idris2 Developer's Meeting.