雑u bot
.
@zatsu,
ΛProlog: Logic programming in higher-order logic
https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,