# shot_to v0.1.0 - Table of Contents

> 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.

## Pages

- [ShotTo](readme.md)
- [Demo of the ShotTo NCPO Implementation](demo.md)

## Modules

- [ShotTo](ShotTo.md): `ShotTo` provides a decidable instance of the βη-long-normal Computability
Path Order (NCPO-LNF) of Niederhauser and Middeldorp (*NCPO goes
Beta-Eta-Long Normal Form*, 2025) for terms of Church's simple type theory
as represented by the `shot_ds` library.
- [ShotTo.Ncpo](ShotTo.Ncpo.md): Implementation of NCPO-LNF (the βη-long-normal Computability Path Order).
- [ShotTo.Parameters](ShotTo.Parameters.md): Parameters that define a concrete instance of NCPO-LNF.
- [ShotTo.TypeOrder](ShotTo.TypeOrder.md): Admissible type order `≻_T` and related predicates used by NCPO-LNF.

