回答情况：
提问时间：
问题标签：
我尝试将do-notation与agda-stdlib的IO一起使用，但奇怪的是，_>>_的类型使用∞：{B : Set a} (m₁ : ∞ (IO B)) (m₂ : ∞ (IO A)) → IO
浏览 16修改于2019-03-15得票数 0
我刚刚尝试使用Home安装Anaconda，并收到以下消息：Updating Homebrew...L-MBP:agda-stdlib le$ brew install anacondaFoundTry
L-MBP:agda-stdlib le$ brew cask
浏览 26修改于2020-06-27得票数 3
回答已采纳
/.local/bin/agda> echo $AGDA_DIR它使用正确的文件填充：/home/joey/agda/agda-std
浏览 1提问于2017-10-27得票数 6
回答已采纳
._≤_ bound at C:\Users\Marko\AppData\Roaming\cabal\x86_64-windows-ghc-8.6.5\Agda-2.6.0\lib\agda-stdlibData.Integer._≤_ bound at
C:\Users\Marko\AppData\Roaming\c
浏览 2提问于2019-10-31得票数 0
回答已采纳
我正在查看agda-stdlib/src/Data/Vec/Base.agda中的代码，并在take m xsgrammar:
++ (infixr operator, level 5) [_++_ (/Users/fss/Dropbox/Documents/projects/Coding/dev/agda/agda-stdlib
浏览 2修改于2020-10-21得票数 1
回答已采纳
, level 20) [∃-syntax (C:\Users\Marko\AppData\Roaming\cabal\x86_64-windows-ghc-8.6.5\Agda-2.6.0\lib\agda-stdlib
浏览 7提问于2019-05-29得票数 0
回答已采纳
下面是：我试过了这是可行的，但随后我尝试这样做：和apt所安装的目录似乎不包含一个库文件，只包含以下内容
代数函数IO.agda关系Algebra.agda
浏览 2提问于2020-04-29得票数 4
回答已采纳
1回答
的问题是：，但我想知道，这样的函数是否已经在agda-stdlib中了？对于Agda来说，是否有类似于hoogle的东西，或者类似于SearchAbout的东西？
浏览 0提问于2015-01-05得票数 1
回答已采纳
我没有在Agda和Agda-stdlib问题中找到任何相关信息，也没有在这样或其他网站上找到任何相关信息。文件是过期了，还是我犯了什么错误？
浏览 6修改于2021-03-06得票数 1
回答已采纳
当我签入agda-stdlib/src/Data/List/Base.agda时，我看到没有last函数，但在agda-stdlib/src/Data/Vec/Base.agda中看到了last的一个函数
浏览 2修改于2020-10-21得票数 0
the following files: /home/adjam/Desktop/peano.lagda
/usr/share/agda-stdlib
浏览 0修改于2019-03-21得票数 1
1)))when checking that the expression 1 ∎ has type因此，我研究了last在agda-stdlib
浏览 6修改于2020-10-22得票数 0
回答已采纳
ghc-libs ghcpacman --noconfirm -Sy agda
pacman --noconfirm -Sy agda-stdlib
浏览 0提问于2018-04-08得票数 4
回答已采纳
agda-bin' is not installed, so not removedPackage 'agda-stdlib
浏览 0修改于2018-07-07得票数 3
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号