sketchpad

The repository where my random research threads live.

Name	Name	Last commit message	Last commit date
Latest commit Sean-Watters [rational] weak bisim of streams Dec 6, 2024 8088bc4 · Dec 6, 2024 History 29 Commits
agda	agda	[rational] weak bisim of streams	Dec 6, 2024
haskell	haskell	[hs] tree pretty printing	Mar 25, 2024
.gitignore	.gitignore	Initial commit	Jan 16, 2024
README.md	README.md	Initial commit	Jan 16, 2024
sketchpad.agda-lib	sketchpad.agda-lib	[new] inital commit	Feb 14, 2024

Provide feedback