Skip to content

Lean: fix monadicity for internal plets (#986) #1066

Lean: fix monadicity for internal plets (#986)

Lean: fix monadicity for internal plets (#986) #1066

build (5.2.1, ubuntu-latest)

succeeded Feb 13, 2025 in 6m 3s