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 […]

[bridged from https://functional.cafe/@escape_velocity on the fediverse by https://fed.brid.gy/ ]