Y
Hacker News
new
|
ask
|
show
|
jobs
by
LightMachine
2351 days ago
I wonder if I should take those opportunities to talk about Formality (
https://github.com/moonad/formality
).