Skip to content
Lean (build)

Write Free Scoped Monad in Lean and make Term and LamSig typecheck #129

Sign in to view logs

Write Free Scoped Monad in Lean and make Term and LamSig typecheck

Write Free Scoped Monad in Lean and make Term and LamSig typecheck #129

Triggered via push May 22, 2024 01:32
@eyihluyceyihluyc
pushed 897efd4
soas
Status Success
Total duration 4m 11s
Artifacts –

lean.yml

on: push
Build
4m 0s
Build
Fit to window
Zoom out
Zoom in