Haskell

Haskell 中文群 

u-chehbefifh 1 month ago
输出是
u-facafichciiiheihbb 1 month ago
[Clap]
u-agfgb 1 month ago
如何证明这个 decidable
u-fecd 1 month ago
"(눈_눈): 如何证明这个 decidable" - - - - - - - - - - - - - - - 你需要的实际上是自然数的decidable equality而已=。=这个太简单了。但是用反证法我就是感觉步数要多一些
u-chehbefifh 1 month ago
好像有大公司支持
u-dd 1 month ago
https://dixonary.co.uk/cabal-2020 偷偷问,会有人在arch上写haskell的吗
u-hei 1 month ago
哈哈,这样也挺好的,吸引大家学习(不就是小学数学嘛)
u-agfgb 1 month ago
"千里冰封: 这种太简单了,出新手村可以试试 a+a=b+b → a=b" - - - - - - - - - - - - - - - 然后,这个是 decidable 吧
u-ihahib 1 month ago
欧几里得几何 希尔伯特描述的几个公理里,最后一个是戴德金分割(
u-hei 1 month ago
往年轻人群体推就好了
u-hei 1 month ago
等他们成长起来,数学界里活跃的都是会 PA 的
u-fecd 1 month ago
目前都是在做拓扑,几何估计还要等库发展成熟点
u-fecd 1 month ago
不是,这不能叫lazy,这个叫coinductive
u-jebabbad 4 weeks ago
agda2lagda: Convert Agda/Haskell text to literate Agda/Haskell text https://github.com/andreasabel/agda2lagda
u-gfhad 4 weeks ago
看成 Ladygaga 了
u-fecd 4 weeks ago
AA又在搞这些奇怪的工具了
u-fecd 4 weeks ago
为啥不去生成lagda.md ()
u-ehcgcg 4 weeks ago
老佬们,这个你们是咋解决的
u-ehcgcg 4 weeks ago
大佬们,这个你们是咋解决的
u-ehcgcg 4 weeks ago
这是在换国内镜像
u-cigcejcddhcej 4 weeks ago
看这个错误提示是 stack 要下载一个 json 文件 但是镜像里面不存在 不知道之前 stack 的行为 但是我猜是 stack 版本太老了
u-ehcgcg 4 weeks ago
我用的2.3.1
u-cigcejcddhcej 4 weeks ago
换一个镜像 tuna
u-ehcgcg 4 weeks ago
可以了
u-ehcg 4 weeks ago
mysql-haskell 在使用的时候,直接在stack.yaml里面引用就可以了吗?
u-ee 4 weeks ago
package.yaml
u-ehcg 4 weeks ago
有没有使用mysql-haskell的工程参考呀[Facepalm]
u-ee 4 weeks ago
遇到啥问题了
u-ehcg 4 weeks ago
不知道是不是因为我用的windows的原因
u-ehcg 4 weeks ago
看着像是与字符集有关
u-ffeagdj 4 weeks ago
win的字符本身就很坑
u-ffeagdj 4 weeks ago
现在没修~
u-ehcg 4 weeks ago
这个问题是怎么解决的
u-jjibbdii 4 weeks ago
我 release 一下吧 =。 =
u-jjibbdii 4 weeks ago
@Tk 🍁 release了新的版本,你cabal update再试试
u-jjibbdii 4 weeks ago
客气客气