fedi.matsuu.org

Haskellerのための量子プログラミングと線形依存型
https://techblog.asahi-net.co.jp/entry/2023/04/03/160944
#ReadItLater