Záložky se štítkem: cteni FI:IB015
- Purely Functional Retrogames
First of four posts
1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé - Homotopy Type Theory: Univalent Foundations of Mathematics 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
Děkujeme del.icio.us za inspiraci.