Skip to content
Haskell-CI

Generalize the signature for induct and inductWith #848

Sign in to view logs

Generalize the signature for induct and inductWith

Generalize the signature for induct and inductWith #848

Triggered via push November 3, 2024 17:31
@LeventErkokLeventErkok
pushed 4cdded2
master
Status Success
Total duration 5m 47s
Artifacts –

haskell-ci.yml

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