Stack Overflow
Stack Overflow

subttle
61
reputation
6
  • Member since May 16 2016
  • 17 profile views
  • Last seen Apr 30 '21 at 07:35

I like formally verified code. My preferred languages are Haskell and Agda.