shot_un
Higher-order pre-unification, Miller pattern unification, and second-order matching for ShotDs terms.
Maintained on Hex by jcschuster
Latest version
0.2.1
Last run
Aug 28, 2026
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | shot_un-0.2.1-1787953556607 |
|
nerves_system_mangopi_mq_pro
0.17.1
|
pass | 25677479 | shot_un-0.2.1-1787953556607 |
|
nerves_system_rpi4
2.1.1
|
pass | 42010094 | shot_un-0.2.1-1787953556607 |
|
nerves_system_x86_64
1.34.1
|
pass | 29495239 | shot_un-0.2.1-1787953556607 |
Add this badge to your README
It updates itself as shot_un's compatibility is reassessed.
Markdown
HTML