Programming Agda and C++ and Javascript within small amounts of time from each other kind of gives me brain-whiplash.