没有合适的资源?快使用搜索试试~ 我知道了~
Python-idrispyIdris的Python后台成功Python源码而不是字节码
共34个文件
idr:18个
hs:3个
py:3个
需积分: 9 0 下载量 120 浏览量
2019-08-10
19:13:20
上传
评论
收藏 64KB ZIP 举报
温馨提示
idris-py-Idris的Python后台(成功Python源码,而不是字节码)
资源推荐
资源详情
资源评论
收起资源包目录
Python-idrispyIdris的Python后台成功Python源码而不是字节码.zip (34个子文件)
idris-py-master
.gitignore 51B
src
Util
PrettyPrint.hs 3KB
Main.hs 1KB
IRTS
CodegenPython.hs 23KB
LICENSE 2KB
examples
pythag.py 105KB
np.expected.txt 669B
example.py 87KB
example.idr 3KB
pythag.expected.txt 847B
np.py 67KB
pythag.idr 292B
np.idr 626B
example.expected.txt 958B
run-tests.sh 1KB
README.md 5KB
lib
python.ipkg 323B
Python.idr 1KB
Python
Lib
Requests.idr 420B
Threading.idr 1KB
Numpy
Matrix.idr 2KB
BeautifulSoup.idr 595B
Numpy.idr 1KB
Queue.idr 517B
Os.idr 206B
Prim.idr 3KB
IO.idr 1KB
Objects.idr 1KB
Functions.idr 1KB
Fields.idr 3KB
Exceptions.idr 4KB
Telescope.idr 2KB
idris-python.cabal 1KB
stack.yaml 300B
共 34 条
- 1
资源评论
weixin_39840515
- 粉丝: 446
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 三菱PLC例程源码fx2nplc与三台丹佛斯变频器458通讯定位.定尺源程序
- 三菱PLC例程源码FX2NPLC与安川G7变频器通讯(原创)有注释,MEMOBUS的写方式
- 三菱PLC例程源码FX2NPLC与A700变频器RUT通讯
- 小智搜搜-必备搜索工具,搜索快启更胜一筹
- 三菱PLC例程源码FX2NPLC和变频器,F930通讯控制的程序有注解拉丝机程序
- 三菱PLC例程源码FX2NPLC+2AD+4ADTC+2DA+电阻尺+编码器+PID温控
- 安装和配置指引,通俗易懂
- 三菱PLC例程源码FX2NPLC+2AD+4ADTC+2DA+电阻尺+编码器+PID温控完整注释程式+UG330人机
- 三菱PLC例程源码FX2N-INV通讯程序
- 三菱PLC例程源码FX2N-INV通讯
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功