corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a0821d-f683-72a9-a351-ad6b65d0ce9f", "title": "Unit testing Agda code with elisp", "url": "https://pozorvlak.livejournal.com/160409.html", "published_at": "2011-02-04T14:11:03+00:00" }, { "id": "01a0821d-f683-72a9-a351-ad6b667a667f", "title": "Emacs calc", "url": "https://pozorvlak.livejournal.com/92943.html", "published_at": "2008-02-22T00:27:02+00:00" } ] posts
Claim your blog
Back to pozorvlak
Blog · corpus.blog/blogs/pozorvlak.livejournal.com/posts
pozorvlak
pozorvlak.livejournal.com
2011
Unit testing Agda code with elisp
original ↗
4 Feb 2011
2008
Emacs calc
original ↗
22 Feb 2008