# shot_un v0.1.1 - Table of Contents

Implements an algorithm for higher-order pre-unification.

## Pages

- [ShotUn](readme.md)
- [Demo of the ShotUn Package](demo.md)

## Modules

- [ShotUn](ShotUn.md): Implements (syntactic) higher-order pre-unification for term pairs based on
projection and imitation.

- [ShotUn.UnifSolution](ShotUn.UnifSolution.md): Represents a single solution to a unification problem.