Haskell

Haskell 中文群

u-chehbefifh 2 years ago
输出是

u-facafichciiiheihbb 2 years ago
[Clap]

u-agfgb 2 years ago
如何证明这个 decidable

u-fecd 2 years ago
"(눈_눈): 如何证明这个 decidable" - - - - - - - - - - - - - - - 你需要的实际上是自然数的decidable equality而已=。=这个太简单了。但是用反证法我就是感觉步数要多一些

u-chehbefifh 2 years ago
好像有大公司支持

u-dd 2 years ago
https://dixonary.co.uk/cabal-2020 偷偷问，会有人在arch上写haskell的吗

u-hei 2 years ago
哈哈，这样也挺好的，吸引大家学习（不就是小学数学嘛）

u-agfgb 2 years ago
"千里冰封: 这种太简单了，出新手村可以试试 a+a=b+b → a=b" - - - - - - - - - - - - - - - 然后，这个是 decidable 吧

u-ihahib 2 years ago
欧几里得几何希尔伯特描述的几个公理里，最后一个是戴德金分割（

u-hei 2 years ago
往年轻人群体推就好了

u-hei 2 years ago
等他们成长起来，数学界里活跃的都是会 PA 的

u-fecd 2 years ago
目前都是在做拓扑，几何估计还要等库发展成熟点

u-fecd 2 years ago
不是，这不能叫lazy，这个叫coinductive

u-fecd 2 years ago

u-jebabbad 2 years ago
agda2lagda: Convert Agda/Haskell text to literate Agda/Haskell text https://github.com/andreasabel/agda2lagda

u-gfhad 2 years ago
看成 Ladygaga 了

u-fecd 2 years ago
AA又在搞这些奇怪的工具了

u-fecd 2 years ago
为啥不去生成lagda.md ()

u-ahiifeihe 2 years ago
https://haskellweekly.news/survey/2020.html

u-ahiifeihe 2 years ago

u-ehcgcg 2 years ago
老佬们，这个你们是咋解决的

u-ehcgcg 2 years ago
大佬们，这个你们是咋解决的

u-ehcgcg 2 years ago

u-ehcgcg 2 years ago
这是在换国内镜像

u-ehcgcg 2 years ago
加

u-ehcgcg 2 years ago

u-cigcejcddhcej 2 years ago
看这个错误提示是 stack 要下载一个 json 文件但是镜像里面不存在不知道之前 stack 的行为但是我猜是 stack 版本太老了

u-ehcgcg 2 years ago
我用的2.3.1

u-cigcejcddhcej 2 years ago
换一个镜像 tuna

u-ehcgcg 2 years ago
可以了

u-ehcgcg 2 years ago
谢谢

u-ehcg 2 years ago
mysql-haskell 在使用的时候，直接在stack.yaml里面引用就可以了吗？

u-ee 2 years ago
package.yaml

u-ehcg 2 years ago
有没有使用mysql-haskell的工程参考呀[Facepalm]

u-ee 2 years ago
遇到啥问题了

u-ehcg 2 years ago

u-ehcg 2 years ago
不知道是不是因为我用的windows的原因

u-ehcg 2 years ago
看着像是与字符集有关

u-ffeagdj 2 years ago
win的字符本身就很坑

u-fe 2 years ago
https://hackage.haskell.org/package/with-utf8

u-ffeagdj 2 years ago
现在没修~

u-dgbibgbhf 2 years ago

u-ehcg 2 years ago
https://github.com/winterland1989/mysql-haskell/issues/36

u-ehcg 2 years ago
这个问题是怎么解决的

u-ehcg 2 years ago

u-jjibbdii 2 years ago
我 release 一下吧 =。 =

u-jjibbdii 2 years ago
@Tk 🍁 release了新的版本，你cabal update再试试

u-ehcg 2 years ago
谢谢

u-jjibbdii 2 years ago
客气客气

tomato-pie
Peek into your working status with ease.