标签： cabal idris cabal-install
我想安装Idris，所以我首先安装了Haskell，然后在终端中编写了cabal update和cabal安装idris。但是，在下载并安装了许多组件之后，安装最终在某些软件包上失败了。然后我通过idris-lang.org上的Windows-.exe进行安装，现在运行正常，但我想删除之前使用cabal命令下载和安装的内容。知道怎么做吗？有没有像“cabal deinstall idris”之类的命令？或者它会影响其他装置吗？