strong-reduction-tests. A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests

github.com/marvinborner/strong-reduction-tests
by @marvinborner

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.