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

Why not jump to prolog if you want to want to declare what the properties of the code are and have the compiler figure out how to actually do it?



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

Search: