Login
From:
Ascetic Slug
(Uncensored)
subscribe
Run-length encoding verified in Agda | Ascetic Slug
https://janmasrovira.gitlab.io/ascetic-slug/post/rle/
links
backlinks
Roast topics
Find topics
Find it!
This post is intended to be a guided exercise (with a proposed solution) for Agda beginner's who are familiar with the basics and want to work on a slightly more involved exercise than proving basic properties about natural numbers.
