-
-
-
@justonefollower I imagine he wants to take over the world of banking. Or something.
End of conversation
New conversation -
-
-
@edwinbrady@d_christiansen@milessabin finally dependent types are ready for the enterprise. -
@mwotton@edwinbrady@milessabin Once this backend is done anyway! We're targeting GNU COBOL first, Z/OS perhaps later.
End of conversation
New conversation -
-
-
@edwinbrady@d_christiansen looks like#idris is reaching singularity or something -
@aloiscochard@edwinbrady Nothing to fear, nothing to fear. Yet.......
End of conversation
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.