Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-09-17

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
05:31 cmr joined #isabelle
05:31 cmr joined #isabelle
12:38 ThreeOfEight ammbauer: not that I am aware of
12:38 ThreeOfEight s/of//
14:57 chuchucorny ThreeOfEight: und jetzt erklaer mal bitte fuer leute die kein englisch koennen warum das "of" weg soll? :)
17:04 ThreeOfEight chuchucorny: ich bin mir nicht ganz sicher
17:05 ThreeOfEight aber mein Gefühl sagt mir, dass man "aware of something" sein kann
17:05 ThreeOfEight Ich hätte sagen können "none that I am aware of"; aber so fehlt irgendwie das Objekt und das klingt seltsam.
17:06 ThreeOfEight (sorry everyone, back to English now)

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary