Packages

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

Current section

12 Versions

Jump to

July 26, 2026

July 07, 2026

June 19, 2026

June 17, 2026

June 17, 2026

June 08, 2026

May 22, 2026

May 15, 2026

May 06, 2026

May 01, 2026

April 09, 2026

April 04, 2026

12 versions of 12 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 50 100 150 200

this version

62

yesterday

1

last 7 days

300

all time

879

Last Updated

Jul 26, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links