最近需要学习用 ML 族的语言写一个 VHDL 的 Parser，于是就有了一系列的尝试，顺便完成了几道 Codewars 上的习题。
滨江出差一周。
学校封校之后。
最近发现很多同学都升级到了 Ubuntu 20.04 LTS，于是也就把现有的几台服务器升级了（毕竟没在跑什么需要可靠性的服务）。又发现 WSL 也可以升级了，于是就配了一下。