About NoCanDo

Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.

Lists

Timeline

{username} has no activity yet