Y
Hacker News
new
|
ask
|
show
|
jobs
by
fusiongyro
5158 days ago
I have tried Mercury a few times. Prolog sans REPL is no use to me. I'm interested in Agda but haven't put much effort into it.