Conversation
OH: do you think linear typing would feel more natural for Germans, given that they are used to Pfand?
1
0
0
@stefan well, linear types are just objects that have Pfand on them, no?
1
0
1
@mei Sorry I guess I am not enough of an IT or math guy to get the joke.
0
0
0