After about ten hours a day of learning Agda during the month of September, I'm starting to feel like I have basic fluency in the concepts and how to express my ideas in code. It's been quite the journey since I typed in 10 PRINT HI 20 GOTO 10 on an Apple ][+ in 1982. Still feels like I'm just getting started.