/idris2-async

Small async library for idris2, inspired by purescript-aff

Primary LanguageIdrisBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

This repository is not active