Typecheck with latest Rzk

Alternative descriptions of discrete types #489

Sign in to view logs

Triggered via pull request October 13, 2023 19:14

TashiWalde

synchronize #116

TashiWalde:discrete-types-alternative

Status Success

Total duration 32s

Artifacts –

rzk.yml

on: pull_request

Check formalisations