Your current filters are…
from Введение в Agda at FProg 2012-07, 12th July 2012
Added 10 months ago
from Зависимые типы в Haskell at FProg 2012-07, 12th July 2012
from Команда spb-archlinux на ICFP Contest 2009 at FProg 2012-07, 12th July 2012
Russia Russia, St. Petersburg
12th July 2012
Most recent added 10 months ago
6 items in total
Add an event