Packages

shot_ds

v 1.0.0

Data structures for various HOL objects and TH0 parser.

Online Documentation
Readme 1 Dependencies 1 Dependants Activity Versions

Packages depending on shot_ds

1 package
  • shot_un v0.1.0

    Implements an algorithm for higher-order pre-unification.

    Published 1 day ago

    5
    recent downloads
    total downloads: 5
1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 1.0.0
0 20 40 60 80

this version

6

yesterday

10

last 7 days

53

all time

318

Last Updated

Apr 04, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners