Literature/ktl16regexp-agda.pdf
author Chengsong
Mon, 10 Jul 2023 01:51:46 +0100 (19 months ago)
changeset 661 71502e4d8691
parent 107 6adda4a667b1
permissions -rw-r--r--
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
(binary:application/pdf)