Hacker News new | past | comments | ask | show | jobs | submit login

I haven’t been able to grok this formal logic stuff, so I just want to give props to the animation at the bottom of your git readme. It looks very... mathy yet playful and makes me want to know what’s happening :)

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact