Files

.github

Jan 18, 2025

a787006 · Jan 18, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
tooling	tooling	[ fix #1743 ] move README to `doc/` directory (#2184 )	Nov 5, 2023
workflows	workflows	Update CI (#2544 )	Jan 18, 2025
haskell-ci.patch	haskell-ci.patch	Bump GHC to 9.6 for agda-stdlib-utils	May 15, 2023