4 ms·Lemmachine - A web framework in Agda1 points by jefffoster 16y agoRiderOfGiraffes 16y agoDup: http://news.ycombinator.com/item?id=1655387 http://news.ycombinator.com/item?id=1655387