ncurses idris:针对Idris 2的ncurses绑定的一种业余实现源码

Name: ncurses idris:针对Idris 2的ncurses绑定的一种业余实现 源码
Rating: 4.5 (28 reviews)
Author: qqsoft6508

上传者：qqsoft6508 2021-04-25 14:19:53上传 ZIP文件 6KB 热度 28次

ncurses-idris:针对Idris 2的ncurses绑定的一种业余实现

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

ncurses idris针对Idris2的ncurses绑定的一种业余实现源码

ncurses-idris:针对Idris 2的ncurses绑定的一种业余实现

大小：6KB | 2021-04-25 14:19:53
ncurses Crystal的Ncurses绑定源码

ncurses:Crystal的Ncurses绑定

大小：18KB | 2021-02-10 04:04:53
ncurses.cr NCurses水晶的绑定源码

ncurses.cr:NCurses水晶的绑定

大小：13KB | 2021-02-10 04:04:50
idris grin Idris的GRIN后端源码

idris-grin:Idris的GRIN后端

大小：249KB | 2021-02-01 22:33:08
Idris2Grin Idris2的GRIN后端源码

伊德里斯2-格林 Idris2的GRIN后端。设计使用咧嘴笑的编译器。这仅适用于最新版本的idr...

大小：8KB | 2021-04-25 14:23:00
idris2mode Idris2的Emacs模式源码

idris2模式 Idris2的Emacs模式。将以下行添加到您的init.el文件中: (add...

大小：3KB | 2021-02-26 16:10:16
vim idris对SpaceVim的idris支持源码

vim-idris:对SpaceVim的idris支持

大小：12KB | 2021-02-15 23:58:48
libyui ncurses libyui ncurses源码

LibYUI-Ncurses(文本模式)前端是一个小部件抽象库,提供Qt,GTK和ncurses前...

大小：375KB | 2021-04-23 06:26:18
Idris dev一种依赖类型的功能编程语言源码

伊德里斯 Idris( )是一种具有依赖类型的通用功能编程语言。安装指南。该存储库代表该语言的最...

大小：2.81MB | 2021-04-18 19:39:51
idris patricia volcano Idris实施patricia树源码

idris-patricia::volcano:Idris实施patricia树

大小：10KB | 2021-02-09 11:54:45
idris golang

用于Idris的实验性Google Go后端这样做的动机我想改进我的Haskell和Idris，并学...

大小：17.2KB | 2024-10-12 23:32:54
idris elixir面向Elixir的Idris代码生成器源码

idris-elixir:面向Elixir的Idris代码生成器

大小：29KB | 2021-02-01 22:38:33
Idris2Erlang用于Idris2的Erlang代码生成器源码

伊德里斯2-埃尔朗 Erlang代码生成器。当前,该存储库包含Idris 2编译器的完整副本,但是...

大小：6.45MB | 2021-02-19 10:38:59
idris2extra我的idris2个人图书馆源码

idris2-extra 我的idris2个人图书馆这是一个库,因为通常我无法从base / co...

大小：17KB | 2021-04-26 22:25:08
IdrisTddNotes阅读TDD with Idris一书比较Idris和Haskell的文字说明源码

IdrisTddNotes:阅读“ TDD with Idris”一书,比较Idris和Haskel...

大小：774KB | 2021-02-09 11:54:53
awesome idris

awesome-idris:

大小：10KB | 2021-02-02 00:02:52

ncurses idris:针对Idris 2的ncurses绑定的一种业余实现 源码

ncurses idris:针对Idris 2的ncurses绑定的一种业余实现源码