add SF, CPDT, and Agda tutorial