Logs: freenode/#haskell
| 2021-03-15 19:11:55 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds) |
| 2021-03-15 19:11:55 | × | marek quits (~mmahut@fedora/pyxel) (Ping timeout: 256 seconds) |
| 2021-03-15 19:12:09 | → | marek joins (~mmahut@209.250.249.245) |
| 2021-03-15 19:12:25 | drakonis- | is now known as drakonis |
| 2021-03-15 19:12:28 | → | landonf joins (landonf@mac68k.info) |
| 2021-03-15 19:12:36 | → | msgctl joins (~msgctl@ometochtli.centzontotochtin.org) |
| 2021-03-15 19:12:39 | → | lightandlight joins (sid135476@gateway/web/irccloud.com/x-hvpeqcuanlcmmucf) |
| 2021-03-15 19:12:44 | → | crobbins joins (~crobbins@2600:1700:48eb:8490:f076:8bfb:8043:913e) |
| 2021-03-15 19:12:53 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-143.hive.is) |
| 2021-03-15 19:12:55 | → | Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com) |
| 2021-03-15 19:13:08 | → | asm89 joins (~asm89@unaffiliated/asm89) |
| 2021-03-15 19:13:18 | <tomsmeding> | > isatleast 6 five |
| 2021-03-15 19:13:20 | <lambdabot> | *Exception: Prelude.undefined |
| 2021-03-15 19:13:36 | × | Guest53837 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 246 seconds) |
| 2021-03-15 19:14:18 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 2021-03-15 19:14:46 | <Gurkenglas> | @let type VeryLazyNegativeIntegers = VeryLazyNaturals -> () -- All you can get out of these is that they're in a set of form [-n..], where n may be infinity. |
| 2021-03-15 19:14:48 | <lambdabot> | Defined. |
| 2021-03-15 19:15:08 | → | ystael joins (~ystael@26.sub-174-196-196.myvzw.com) |
| 2021-03-15 19:16:12 | <tomsmeding> | only if you consider two elements distinct even if they can be distinguished only by checking whether a computation crashes or not |
| 2021-03-15 19:16:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-15 19:16:25 | <tomsmeding> | you can, in IO |
| 2021-03-15 19:16:41 | <tomsmeding> | but I'd guess that you don't want to involve IO here |
| 2021-03-15 19:16:52 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-15 19:17:01 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 19:17:15 | Alleria | is now known as Guest61706 |
| 2021-03-15 19:18:51 | × | idhugo_ quits (~idhugo@80-62-116-51-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-15 19:19:05 | <Gurkenglas> | :t (isatleast', negativethree) |
| 2021-03-15 19:19:07 | <lambdabot> | (Int -> VeryLazyNegativeIntegers -> (), VeryLazyNaturals -> ()) |
| 2021-03-15 19:19:18 | → | idhugo_ joins (~idhugo@80-62-116-51-mobile.dk.customer.tdc.net) |
| 2021-03-15 19:19:28 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-15 19:20:44 | <Gurkenglas> | (Should have said Integral instead of Int there so you can test atleast' on infinity) |
| 2021-03-15 19:21:55 | × | __minoru__shirae quits (~shiraeesh@109.166.58.121) (Ping timeout: 240 seconds) |
| 2021-03-15 19:22:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-15 19:22:51 | <Gurkenglas> | VeryLazyNegativeIntegers prove that not every element of any type can be reached from bottom in an ordinal number of finest possible steps :( |
| 2021-03-15 19:23:32 | → | frozen_burnman_ joins (~frozen_bu@80-90-135-76.static.oxid.cz) |
| 2021-03-15 19:24:13 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-15 19:24:44 | → | amerigo joins (uid331857@gateway/web/irccloud.com/x-dbmpchvgbnfltrjd) |
| 2021-03-15 19:25:51 | × | frozen_burnman quits (~frozen_bu@80-90-135-76.static.oxid.cz) (Ping timeout: 246 seconds) |
| 2021-03-15 19:26:20 | → | nfd joins (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973) |
| 2021-03-15 19:26:21 | → | __minoru__shirae joins (~shiraeesh@109.166.58.121) |
| 2021-03-15 19:26:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-15 19:27:12 | nitrix_ | is now known as nitrix |
| 2021-03-15 19:27:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-15 19:28:21 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-15 19:29:13 | → | Alleria__ joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-15 19:30:02 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-03-15 19:30:27 | → | styledash7 joins (~styledash@157.230.173.136) |
| 2021-03-15 19:30:38 | × | Guest61706 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 264 seconds) |
| 2021-03-15 19:30:38 | × | johnstein quits (~johnstein@192.73.239.18) (Ping timeout: 264 seconds) |
| 2021-03-15 19:31:07 | → | johnsteinVPS joins (~johnstein@192.73.239.18) |
| 2021-03-15 19:31:09 | johnsteinVPS | is now known as johnstein |
| 2021-03-15 19:31:14 | × | CitizenSnips quits (~CitizenSn@irc.refl.club) (Ping timeout: 264 seconds) |
| 2021-03-15 19:31:22 | → | gekh09 joins (~gkh@thor.kevinhill.nl) |
| 2021-03-15 19:31:50 | × | gekh0 quits (~gkh@thor.kevinhill.nl) (Ping timeout: 264 seconds) |
| 2021-03-15 19:31:50 | × | aforemny_ quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:21 | → | lewky joins (~lewky@159.65.37.240) |
| 2021-03-15 19:32:25 | → | landonf_ joins (landonf@mac68k.info) |
| 2021-03-15 19:32:26 | × | landonf quits (landonf@mac68k.info) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:26 | × | Hi-Angel quits (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:26 | × | jluttine_ quits (~jluttine@85-23-95-149.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:26 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:27 | × | oleks quits (~oleks@188.166.34.97) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:27 | × | styledash quits (~styledash@157.230.173.136) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:27 | × | lep-delete quits (~lep@94.31.86.183) (Ping timeout: 264 seconds) |
| 2021-03-15 19:32:27 | styledash7 | is now known as styledash |
| 2021-03-15 19:32:46 | → | CitizenSnips joins (~CitizenSn@irc.refl.club) |
| 2021-03-15 19:32:47 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-03-15 19:32:52 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-15 19:33:02 | × | Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 264 seconds) |
| 2021-03-15 19:33:38 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 264 seconds) |
| 2021-03-15 19:33:38 | × | ent quits (entgod@kapsi.fi) (Ping timeout: 264 seconds) |
| 2021-03-15 19:33:59 | → | lep-delete joins (~lep@94.31.86.183) |
| 2021-03-15 19:33:59 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-ipickbqxisfxlldz) |
| 2021-03-15 19:33:59 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-temqgekgducjbrsh) |
| 2021-03-15 19:33:59 | → | darkcodi[m] joins (darkcodima@gateway/shell/matrix.org/x-rhzmsthbyuqylump) |
| 2021-03-15 19:34:00 | → | mly[m] joins (mlydisenco@gateway/shell/matrix.org/x-sghcilcxhnhkwjdd) |
| 2021-03-15 19:34:00 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-ptarvovruaurhxwp) |
| 2021-03-15 19:34:00 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-nolwhhpwmbxikafc) |
| 2021-03-15 19:34:00 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-otvcijywljfvbaed) |
| 2021-03-15 19:34:00 | → | simara[m] joins (simaramatr@gateway/shell/matrix.org/x-chhuoljzwygcerfa) |
| 2021-03-15 19:34:00 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-mwratoiagnlssnyq) |
| 2021-03-15 19:34:00 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-rdaonbrqeuwtjxsm) |
| 2021-03-15 19:34:01 | → | kadobanana joins (kadoban9he@gateway/shell/matrix.org/x-fjnlfufgdsbleegm) |
| 2021-03-15 19:34:01 | → | Lurkki[m]1 joins (lurkkipriv@gateway/shell/matrix.org/x-skpmtcneqlzaxmfh) |
| 2021-03-15 19:34:01 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-civsnwekuzleyzwa) |
| 2021-03-15 19:34:01 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-ourhytalkerxbsgx) |
| 2021-03-15 19:34:01 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-rijgcnldikjyzqzg) |
| 2021-03-15 19:34:01 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-ghqiohudnnrsihmj) |
| 2021-03-15 19:34:01 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-fepxtmokxrdmlycv) |
| 2021-03-15 19:34:01 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-fmbulfuorzhwugnj) |
| 2021-03-15 19:34:01 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-jnnbxzasrfbfbikw) |
| 2021-03-15 19:34:01 | → | M53K5HUN_8[m] joins (m53k5hun8m@gateway/shell/matrix.org/x-spimlfphvtdpgjrd) |
| 2021-03-15 19:34:01 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-mlboebuijvpyfcgj) |
| 2021-03-15 19:34:01 | → | shieru[m] joins (shierualet@gateway/shell/matrix.org/x-xdjkjxjdwcrtmgsg) |
| 2021-03-15 19:34:01 | → | alecs[m] joins (malumorema@gateway/shell/matrix.org/x-xfixxujbpdqukczd) |
| 2021-03-15 19:34:01 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-adhzavlsrujzyaqb) |
| 2021-03-15 19:34:02 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-xejvrntxwtmqgyhk) |
| 2021-03-15 19:34:02 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-cpfubhuixmbptrmi) |
| 2021-03-15 19:34:02 | → | Lurkki[m] joins (lurkkifene@gateway/shell/matrix.org/x-mqydqxgjfsfhihgm) |
| 2021-03-15 19:34:02 | → | arcontethegreat[ joins (arcontethe@gateway/shell/matrix.org/x-txxxgbpslkgekqok) |
All times are in UTC.