shot_ds 0.1.0
Data structures for various HOL objects and TH0 parser.
Links
License
MITDownloads
-
20
20
this version -
17
17
yesterday -
226
226
last 7 days -
226
226
all time
Versions (13)
Dependencies (1)
- nimble_parsec ~> 1.4.2
Recent Activity
- Mar 26, 2026 Publish documentation for release 0.4.1
- Mar 26, 2026 Publish release 0.4.1
- Mar 26, 2026 Publish documentation for release 0.4.0
- Mar 26, 2026 Publish release 0.4.0
- Mar 26, 2026 Revert release 0.3.4
- Mar 26, 2026 Publish documentation for release 0.3.4
- Mar 26, 2026 Publish release 0.3.4
- Mar 26, 2026 Revert release 0.3.4
- Mar 26, 2026 Publish documentation for release 0.3.4
- Mar 26, 2026 Publish release 0.3.4
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
jcschuster