shot_to

0.2.0

An Elixir implementation of NCPO-LNF (the βη-long-normal Computability Path Order of Niederhauser and Middeldorp) for ordering terms in Church's simple type theory as represented by the `shot_ds` library.

HexDocs Report package

Current section

1 Dependant

Jump to

Readme 3 Versions 1 Dependency 1 Dependant Files Activity

Packages depending on shot_to

1 package

shot_tx v0.1.0 requires ~> 0.2.0

Tableau component of Shot, a parallel higher-order theorem prover.

Updated 1 month ago

235

recent downloads

total downloads: 235

1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

yesterday

last 7 days

all time

254

Last Updated

Aug 16, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster

Owners

jcschuster

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT