corpus.blog
41,832 blogs · 5,239,565 posts Claim your blog
Record · corpus.blog/posts/01a0878d-5f23-7159-b769-f4f930a7692a

Don't worry (about writing Haskell), be happy (writing Agda instead)!

jesper.sikanda.be · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jesper.sikanda.be Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
10
Words captured
7,706

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host