package asli

  1. Overview
  2. Docs

More flexible substitution class - takes a function instead of a binding set.

OCaml

Innovation. Community. Security.