Programming Cryptol PDF Update

Change the naming convention for anonymous modules #100

Sign in to view logs

Triggered via pull request February 20, 2025 23:21

yav

synchronize #1811

issue#1810-anonymous-module-names

Status Success

Total duration 12s

Artifacts –

book.yml

on: pull_request