Repository
https://github.com/ECburx/Idris2GL.git
Project Slug
idrisgl
Last Built
6 months, 3 weeks ago
failed
Maintainers
Home Page
https://github.com/ECburx/Idris2GL
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/idrisgl/badge/?version=latest
:target: https://idrisgl.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://idrisgl.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://idrisgl.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/idrisgl/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
2d-graphics,
idris-2
Short URLs
idrisgl.readthedocs.io
idrisgl.rtfd.io
Default Version
latest
'latest' Version
main
