3 ms·
1. Learn agda and Coq, read Pierce's Softw. Foundations and Chlipala's book 2. Find a teacher for clarinet and/or cello; keep working through Well Tempered Kla
by gtani 14y ago
1. Learn agda and Coq, read Pierce's Softw. Foundations and Chlipala's book
2. Find a teacher for clarinet and/or cello; keep working through Well Tempered Klavier preludes