Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-10-20

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

All times shown according to UTC.

Time Nick Message
12:58 barrucadu joined #isabelle
16:10 kini joined #isabelle
16:44 barrucadu I'm a bit confused by the definition of refl in the Relation theory that comes with Isabelle
16:44 barrucadu abbreviation refl :: "'a rel ⇒ bool" where "refl ≡ refl_on UNIV"
16:44 barrucadu That seems far too strict, as it requires every element of the universe be represented in the relation

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