Haskell のお勉強をした。Agda の経験があるから、すんなりと理解できた（ように思う）。実際ゴリゴリ書こうとすると、いろいろとボロが出るんだろうが。ギターを習うときに、最初にFを鳴らす練習をすればいいといっていた人がいた。F で挫折する人が多いか…