Logs: freenode/#haskell
| 2021-03-15 19:34:02 | → | joe[m]2 joins (joemonoida@gateway/shell/matrix.org/x-ygxypwuzgvmgbeva) |
| 2021-03-15 19:34:02 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2021-03-15 19:34:02 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-tfyqyfjqrbnqzjln) |
| 2021-03-15 19:34:02 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-yikznzlhyzrbvnbz) |
| 2021-03-15 19:34:02 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-invzcgjtdukarzux) |
| 2021-03-15 19:34:02 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-pvxxvwuidasooizc) |
| 2021-03-15 19:34:03 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-pmvxuyjweiegnupz) |
| 2021-03-15 19:34:03 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-fdyejfvjphhisdvz) |
| 2021-03-15 19:34:03 | → | freeman42x[m] joins (freeman42x@gateway/shell/matrix.org/x-tkncoclizmblbtxd) |
| 2021-03-15 19:34:03 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-gzujzorzbqrmauno) |
| 2021-03-15 19:34:04 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-bzkoutlgvmwbkjji) |
| 2021-03-15 19:34:04 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-idxtsewlxoswzwgx) |
| 2021-03-15 19:34:04 | → | DamienCassou joins (damiencass@gateway/shell/matrix.org/x-nsfdradfsgvmppix) |
| 2021-03-15 19:34:04 | → | jerin joins (jerinmatri@gateway/shell/matrix.org/x-fwxmmxrkuyeqajhb) |
| 2021-03-15 19:34:04 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-xvdyxlpvmhfdsgfh) |
| 2021-03-15 19:34:04 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-jkmbbhsofbyjdeff) |
| 2021-03-15 19:34:04 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-siqwjicgmhjtsmhd) |
| 2021-03-15 19:34:04 | → | toasty_avocado[m joins (toastyavoc@gateway/shell/matrix.org/x-qelmcqsxgzxxevri) |
| 2021-03-15 19:34:04 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-kpgolzcdirmazavm) |
| 2021-03-15 19:34:04 | → | meff[m] joins (meffsunado@gateway/shell/matrix.org/x-rwpksxtqvpkndqzd) |
| 2021-03-15 19:34:05 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-jtxzvhexsrzjwzlt) |
| 2021-03-15 19:34:05 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-ihiahjvhbvnutlcv) |
| 2021-03-15 19:34:05 | → | rust-rocks[m] joins (rust-rocks@gateway/shell/matrix.org/x-bqohnijxfkxiysny) |
| 2021-03-15 19:34:05 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-jovouonixnxlxvtc) |
| 2021-03-15 19:34:05 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-awlwoecumntvuvlv) |
| 2021-03-15 19:34:05 | → | anon1891[m] joins (anon1891ma@gateway/shell/matrix.org/x-iijrpsnxyzdwzkmq) |
| 2021-03-15 19:34:05 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-pacacpixykpsrqbq) |
| 2021-03-15 19:34:05 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-tqryjbcnpoqvwatf) |
| 2021-03-15 19:34:05 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-ujfsdlwwogwlclyc) |
| 2021-03-15 19:34:05 | → | immae joins (immaematri@gateway/shell/matrix.org/x-ifxuogihibrvpfqo) |
| 2021-03-15 19:34:05 | → | CrabMan joins (phi-matrix@gateway/shell/matrix.org/x-itonprswumarsonx) |
| 2021-03-15 19:34:06 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-mybgwpghbptgmctl) |
| 2021-03-15 19:34:06 | → | a-tsioh[m] joins (a-tsiohmat@gateway/shell/matrix.org/x-hzsglvxmnibrcjwd) |
| 2021-03-15 19:34:06 | → | sramsay64[m] joins (sramsay64p@gateway/shell/matrix.org/x-bknpsyoyllijdxjm) |
| 2021-03-15 19:34:06 | → | sigmacool[m] joins (sigmacoolm@gateway/shell/matrix.org/x-wbtiyswnbxffiblk) |
| 2021-03-15 19:34:07 | → | Robin[m]4 joins (robinrobin@gateway/shell/matrix.org/x-gmvegrujqzpycakq) |
| 2021-03-15 19:34:10 | → | ManofLetters[m] joins (manoflette@gateway/shell/matrix.org/x-englwmmecwrzyoqt) |
| 2021-03-15 19:34:10 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-tnrbzczkfzxhidmh) |
| 2021-03-15 19:34:11 | → | invent[m] joins (inventmatr@gateway/shell/matrix.org/x-djucmvmrumafpmmw) |
| 2021-03-15 19:34:11 | → | AbtractSingleton joins (rasurumatr@gateway/shell/matrix.org/x-bshxgvdkrvkrlckp) |
| 2021-03-15 19:34:12 | → | oleks joins (~oleks@188.166.34.97) |
| 2021-03-15 19:34:12 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-jmjpjmcajmtxqdme) |
| 2021-03-15 19:34:12 | → | Pressyware[m] joins (pressyware@gateway/shell/matrix.org/x-merabgrvstchiodj) |
| 2021-03-15 19:34:14 | × | nfd quits (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973) (Ping timeout: 264 seconds) |
| 2021-03-15 19:34:51 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 2021-03-15 19:35:04 | → | ent joins (entgod@kapsi.fi) |
| 2021-03-15 19:35:12 | → | MichaelHoffmannb joins (brisadmozi@gateway/shell/matrix.org/x-ebubrxwbqbyooquz) |
| 2021-03-15 19:35:48 | <Gurkenglas> | @let plus a b = a `lub` let S b' = b in S $ plus a b' in plus -- sadly, lambdabot doesn't support the lub library. |
| 2021-03-15 19:35:48 | <lambdabot> | Parse failed: Parse error: in |
| 2021-03-15 19:36:05 | <Gurkenglas> | (hmm, worked with ":t " instead of "@") |
| 2021-03-15 19:36:15 | <Gurkenglas> | oh, heh |
| 2021-03-15 19:36:24 | <Gurkenglas> | @let plus a b = a `lub` let S b' = b in S $ plus a b' |
| 2021-03-15 19:36:26 | <lambdabot> | Defined. |
| 2021-03-15 19:36:43 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-15 19:38:50 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2021-03-15 19:39:30 | × | idhugo_ quits (~idhugo@80-62-116-51-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-15 19:39:35 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-15 19:40:22 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-15 19:40:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-15 19:40:48 | → | jluttine_ joins (~jluttine@85-23-95-149.bb.dnainternet.fi) |
| 2021-03-15 19:41:59 | → | epstein joins (~dwsjeid91@193.27.14.135) |
| 2021-03-15 19:46:17 | × | carlomagno quits (~cararell@148.87.23.6) (Remote host closed the connection) |
| 2021-03-15 19:47:08 | → | carlomagno joins (~cararell@148.87.23.6) |
| 2021-03-15 19:47:15 | × | dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-03-15 19:48:35 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4dce:2716:8f3a:55c2) |
| 2021-03-15 19:50:12 | × | ADG1089__ quits (~aditya@122.163.232.170) (Quit: Konversation terminated!) |
| 2021-03-15 19:51:37 | <Gurkenglas> | min and max are just glb and lub, of course. |
| 2021-03-15 19:53:26 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4dce:2716:8f3a:55c2) (Ping timeout: 264 seconds) |
| 2021-03-15 19:53:57 | <tomsmeding> | Gurkenglas: can you define subtraction? |
| 2021-03-15 19:54:59 | <tomsmeding> | (without IO) |
| 2021-03-15 19:56:17 | <Gurkenglas> | I'm afraid not - the functions i can implement are exactly the monotonously increasing functions, and (3-) is not monotonous. |
| 2021-03-15 19:56:34 | <Gurkenglas> | uh, it's called monotonic in english |
| 2021-03-15 19:57:25 | <Gurkenglas> | (i mean, i think i can do all the monotonic ones... can you find one i can't? :) ) |
| 2021-03-15 19:57:28 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-15 19:57:34 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-nlbmdcqymwlgkesq) |
| 2021-03-15 19:57:47 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-15 20:00:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-15 20:00:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-03-15 20:02:48 | → | motte joins (~weechat@unaffiliated/motte) |
| 2021-03-15 20:02:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-15 20:04:19 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-15 20:04:50 | × | forgottenone quits (~forgotten@176.42.16.157) (Ping timeout: 264 seconds) |
| 2021-03-15 20:05:14 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 256 seconds) |
| 2021-03-15 20:05:36 | <tomsmeding> | Gurkenglas: floor(log(x)) |
| 2021-03-15 20:05:48 | <tomsmeding> | okay perhaps floor(log(x+1)) |
| 2021-03-15 20:05:48 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-15 20:06:39 | <hololeap> | i don't understand where the `source-repository` stanza is supposed to go in my cabal file |
| 2021-03-15 20:06:56 | <tomsmeding> | hololeap: what have you tried? |
| 2021-03-15 20:07:23 | <tomsmeding> | hololeap: this works for me https://github.com/tomsmeding/pastebin-haskell/blob/master/pastebin-haskell.cabal |
| 2021-03-15 20:07:31 | <tomsmeding> | though I haven't tried submitting to hackage |
| 2021-03-15 20:07:41 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-15 20:07:48 | <hololeap> | tomsmeding: https://dpaste.com/5PJ4867V2 |
| 2021-03-15 20:09:13 | <hololeap> | tomsmeding: this is what it complains about https://dpaste.com/6895574ZH |
| 2021-03-15 20:09:44 | <tomsmeding> | hololeap: does that only happen for 'cabal check'? Can you 'cabal build' successfully? |
| 2021-03-15 20:09:51 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-15 20:10:01 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-15 20:11:21 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-15 20:11:51 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-15 20:12:24 | <motte> | hi, i'm trying to use yesod and for some reason terminal input isn't working when doing stack exec -- yesod devel. pressing enter should trigger a rebuild, but nothing happens (except a blank line appearing in the terminal window) |
| 2021-03-15 20:12:49 | <hololeap> | tomsmeding: no it was giving me the same for 'cabal build', but i figured out that it works if i move the stanza down near the 'library' stanza |
All times are in UTC.