Packages

Higher-order pre-unification, Miller pattern unification, and second-order matching for ShotDs terms.

Current section

Activity

Jump to
Date Activity
May 22, 2026 Publish documentation for release 0.1.5
May 22, 2026 Publish release 0.1.5
May 15, 2026 Publish documentation for release 0.1.4
May 15, 2026 Publish release 0.1.4
May 06, 2026 Publish documentation for release 0.1.3
May 06, 2026 Publish release 0.1.3
May 01, 2026 Publish documentation for release 0.1.2
May 01, 2026 Publish release 0.1.2
Apr 09, 2026 Publish documentation for release 0.1.1
Apr 09, 2026 Publish release 0.1.1
Apr 09, 2026 Publish documentation for release 0.1.1
Apr 09, 2026 Publish release 0.1.1
Apr 09, 2026 Publish documentation for release 0.1.1
Apr 09, 2026 Publish release 0.1.1
Apr 04, 2026 Publish documentation for release 0.1.0
Apr 04, 2026 Publish release 0.1.0
Apr 04, 2026 Publish documentation for release 0.1.0
Apr 04, 2026 Publish release 0.1.0
Apr 04, 2026 Publish documentation for release 0.1.0
Apr 04, 2026 Publish release 0.1.0
20 activities of 20 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 5 10 15 20

this version

14

yesterday

3

last 7 days

24

all time

195

Last Updated

May 22, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links