Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-01-08

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

All times shown according to UTC.

Time Nick Message
10:50 silver joined #isabelle
11:34 silver joined #isabelle
20:01 chindy joined #isabelle
20:02 chindy why is the image of a function defined over a function and a Set (f ' A), wouldn't the type of f already show what set A is?
20:05 int-e chindy: f ` X corresponds to f(X); what you seem to want is called "range f".
20:07 int-e https://en.wikipedia.org/wiki/Inverse_image#Image_of_a_subset
22:15 chindy joined #isabelle
22:33 chindy joined #isabelle

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