Sorry about this, we are in read only mode. You can browse the site as normal but you won't be able to sign in or make changes.
Your current filters are…
from Введение в Agda at FProg 2012-07, 12th July 2012
Added 5 years ago
from Зависимые типы в Haskell at FProg 2012-07, 12th July 2012
from Команда spb-archlinux на ICFP Contest 2009 at FProg 2012-07, 12th July 2012
12th July 2012
Most recent added 5 years ago
6 items in total
Follow @lanyrd on Twitter.
Lanyrd on Facebook
+ Cookies · Email us