.@maradydd Enjoying your comments on https://www.reddit.com/r/HPMOR/comments/2y56qg/precisely_bound_demons_and_their_behavior/cp6gaii ….
Have you looked into strongly-normalising (or total) languages?
-
-
@edwinbrady Are you familiar with Spławski’s work on the ET (IPL) language? https://github.com/mietek/et-language … @paultypes@maradydd@mjdominusThanks. 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.