Haskell

Haskell 中文群 

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