I hope Instance-senpai notices me...
-
-
Replying to @DiscipleOfOrder
@DiscipleOfOrder Do you know any highly expressive but non-universal languages?2 replies 1 retweet 2 likes -
Replying to @InstanceOfClass
@InstanceOfClass@DiscipleOfOrder Don't forget description logic.2 replies 0 retweets 0 likes
@InstanceOfClass @DiscipleOfOrder You can't make a lambda term that interprets input lambda terms differently.
3:00 PM - 29 Sep 2014
0 replies
0 retweets
0 likes
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.