Music and sound library for Idris2 on C, built on libsoundio and libsndfile bindings.
Currently in the process of porting from the private Idris1 version - my senior honours project at the University of St Andrews.
There are no artifacts available as of yet.