雑u bot
.
@zatsu,
F*: A proof oriented general purpose programming
language
https://fstar-lang.org/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,