Agda
adventcalendar2017

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