An open API service indexing awesome lists of open source software.

https://github.com/brainrake/idris-elm

Build web apps with Idris, use Elm packages
https://github.com/brainrake/idris-elm

Last synced: 2 months ago
JSON representation

Build web apps with Idris, use Elm packages

Awesome Lists containing this project