Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
A couple more formal systems (imperialviolet.org)
34 points by hashx on Sept 12, 2014 | hide | past | favorite | 2 comments


This almost reminds me of Z which I studied at Uni in 1999. It was kind of cool, and I enjoyed predicate logic.

Now I look at it and think, WTF!

Since I've never had to use this stuff for real, it would be fascinating to know what people use it for day to day?


It's ridiculous that this isn't getting more discussion, especially considering what is.




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

Search: