A cunning interpreter for the pure untyped λ-calculus.
at master 136 B view raw
1# SPDX-FileCopyrightText: 2022 Severen Redwood <sev@severen.dev> 2# SPDX-License-Identifier: CC0-1.0 3 4cabal.project.local 5dist-newstyle/