Naufal Alauddin Hilmi

Hello!, I'm a haskeller (or maybe not) and a developer. I like writing program in pure functional language like haskell and purescript. I also have tried Lean4 and Agda for dependent type. My work not restricted in functional languages, I also have dabbled in Python (Django), Javascript (React, Solidjs) and Java. Some of my work is also uploaded on my university's gitlab instance and github.