в смысле август через две недели??
 
DepTyCheck: a lib for property-based testing with dependent types (на базе Idris 2)
+ примеры спецификаций (уровень студенческих курсовых)
"удалось найти баги реализации файловой системы FAT32 на всех популярных платформах."
 
Там же лекции, код и слайды (есть на русском) по функциональному программированию, с крутых семинаров, в основном из Института системного программирования РАН.