Typecheck with latest Rzk

Alternative descriptions of discrete types #478

Sign in to view logs

Triggered via pull request October 13, 2023 15:46

TashiWalde

synchronize #116

TashiWalde:discrete-types-alternative

Status Success

Total duration 42s

Artifacts –

rzk.yml

on: pull_request

Check formalisations