/idris-ioref-c

Basic IORefs for Idris (with C backend)

Primary LanguageIdris

This repository is not active