Search results

Section 3.2 (Ch 18)

Status: Open.

#51 In formalverification/milewski-ctfp-pdf;

· lemastero opened on Jan 4, 2024

Section 2.5 (Ch 15)

Status: Open.

#46 In formalverification/milewski-ctfp-pdf;

· williamdemeo opened on Dec 15, 2023

Check for consistent use of lower-case letters for type variable names

Status: Open.

#42 In formalverification/milewski-ctfp-pdf;

· williamdemeo opened on Dec 14, 2023

Translate to Agda 1.10

Status: Open.

#24 In formalverification/milewski-ctfp-pdf;

· lemastero opened on Nov 23, 2023

Things to explain about Agda

Status: Open.

#17 In formalverification/milewski-ctfp-pdf;

· lemastero opened on Nov 17, 2023

fix broken minted caching for agda version

Status: Open.

#14 In formalverification/milewski-ctfp-pdf;

· williamdemeo opened on Nov 10, 2023

policy on divergence from upstream

Status: Open.

#11 In formalverification/milewski-ctfp-pdf;

· williamdemeo opened on Oct 28, 2023