"You write programs in Albatross and prove them to be correct in the same language." http://albatross-lang.sourceforge.net/
@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…
-
-
@edwinbrady I totally agree! It's worth mentioning here http://lambda-the-ultimate.org/node/5164Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.