Skip to content

KD: New equational reasoning examples #893

KD: New equational reasoning examples

KD: New equational reasoning examples #893

Triggered via push December 5, 2024 21:41
Status Success
Total duration 5m 56s
Artifacts

haskell-ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in