Andreas Nuyts
Hi! I'm an assistant professor at the programming languages group at TU Delft. I do research on the theory and implementation of dependently typed languages, specifically Agda . I'm also one of the main contributors to the implementation of Agda.
I'm Autistic, and that's okay - April 22, 2023 Don't worry (about writing Haskell), be happy (writing Agda instead)! - October 4, 2022 1001 Representations of Syntax with Binding - November 4, 2021
An Invitation to Mindfulness - September 24, 2023 Ten common writing issues in student papers - August 1, 2023 I'm Autistic, and that's okay - April 22, 2023
Andreas Nuyts