Skip to content
Haskell-CI

Add SS' :: SNat n -> SNat (S n) #118

Sign in to view logs

Add SS' :: SNat n -> SNat (S n)

Add SS' :: SNat n -> SNat (S n) #118

Triggered via pull request November 9, 2024 11:50
@phadejphadej
synchronize #114
explict-ss
Status Success
Total duration 5m 59s
Artifacts –

haskell-ci.yml

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