Stage work on λ-calculus (Böhm transform and head original terms) (#1… #281

Sign in to view logs

Triggered via push December 7, 2023 03:30

mn200

develop

Status Success

Total duration 55m 22s

Artifacts –

docker-ci.yml

on: push