暂无评论
ikan:在idris中为idris构建工具和程序包管理器,并带有免费monads
idris-cam Idris RTS的框架。 功能(按优先级列出) 一些中间表示的抽象(通用抽象机器,又名CAM) 后端:Python AST 后端:Julia AST 使用Idris IR保留位置
人民邮电出版社出版的python数据分析的源代码
受抚养者的容器
idris-ct-learn:用于学习的回购https:github.comstateboxidris-ct
埃尔巴(Elba):Idris的软件包管理员
ncurses-6.2.tar.gz的源码包,可以编译安装; 适合各种不同的linux系统使用,解决系统环境依赖; 可以交叉编译
安装步骤:$cdncurses-5.9//进入解压好的nurses-5.9文件夹$./configure--without-cxx-binding//写入,--后面的是说不包含C++的意思。$make
这份文档中用到的所有程序已经被打包并压缩成一个tar.gz文件。以下是这个压缩包解压缩后的目录结构: ncurses | |----> JustForFun -- just for fun 部分
Ncurses是一个能提供功能键定义(快捷键),屏幕绘制以及基于文本终端的图形互动功能的动态库。 这就不难解释为何执行make menuconfig命令需要ncurses了。
暂无评论