Haskell and Coq programmer
Stand out as a speaker
Type-level lenses found their way in my compiler... #haskell #dependenttypes
Me at #CPP2019 talking about the #DeepSpec expedition: specifying, verifying and testing a networked server. https://arxiv.org/abs/1811.11911
This December, the Advent of #Coq! #adventofcode2018
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !