severen.dev / sly
A cunning interpreter for the pure untyped λ-calculus.
fork atom
sly / README.md
at master 8 lines 197 B view raw view rendered
1<!-- 2 SPDX-FileCopyrightText: 2022 Severen Redwood <sev@severen.dev> 3 SPDX-License-Identifier: CC-BY-SA-4.0 4--> 5 6# sly 7 8sly is an interpreter for the pure untyped λ-calculus written in Haskell.