"You write programs in Albatross and prove them to be correct in the same language." http://albatross-lang.sourceforge.net/
-
-
@edwinbrady Well-played! Well-played! xD -
@biboudis Not that it's bad for there to be more experiments like this. Just can't help noticing one related system that isn't mentioned… - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.