Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-03-26

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

All times shown according to UTC.

Time Nick Message
04:44 fracting joined #isabelle
11:17 Damaki joined #isabelle
17:09 JCaesar I wonder. Sometimes, you discover slight inconveniences.
17:10 JCaesar e.g. fst_comp_apsnd being "fst o apsnd f = fst" and not "x o fst o apsnd f = x o fst".
17:10 JCaesar Should you do anything about that?
17:31 int-e Actually you probably want both of those to work well modulo o's associativity.
19:42 fracting joined #isabelle
22:47 Damaki joined #isabelle

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