idris2
No description
Maintained on Hex by zigma
Latest version
0.2.1-alpha.1
Last run
6 days ago
Checks
1
Assumed compatible: no package in this release's dependency closure on hex.pm uses native code. Nothing was compiled.
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
Pure Elixir (dependency check)
|
pass | — | registry-idris2-0.2.1-alpha.1 |
Add this badge to your README
It updates itself as idris2's compatibility is reassessed.
Markdown
HTML