Edited at

generic programming on fixed point

More than 1 year has passed since last update.


Generic Programming(Agda)

やっぱり証明関係ないや...

Haskellで最近不動点とかなんとかもるふぃずむやっててジェネリックなmapとかcatamorphismとか書いてたのでAgdaでも.

例によってムダグチ叩きながらライブコーディングしてる動画をYoutubeにアップします.

Agda Universes live coding