374 followers
Sound like the same kind of people that say that Haskell is usable by mere mortals :-P https://t.co/qhPn2jjPlp
Sound like the same kind of people that say that Haskell is usable by mere mortals :-P https://t.co/qhPn2jjPlp
“…formal proof trees understandable by usual programmers…” © https://t.co/dj5Xsutd1X