PLC-CS3620
所属分类：单片机开发
开发工具：Haskell
文件大小：34529KB
下载次数：0
上传日期：2017-04-25 21:30:35
上 传 者：
sh-1993
说明： 这是我在爱荷华大学编程语言概念课程的代码库。大多数...
(This is my code repository for my Programming Language Concepts course at the University of Iowa. The majority of this repository is written in Agda.)
文件列表:
hw1 (0, 2017-04-26)
hw1\agda-screenshot.png (2304130, 2017-04-26)
hw1\ial-screenshot.png (2159364, 2017-04-26)
hw1\repos-screenshot.png (2931515, 2017-04-26)
hw10 (0, 2017-04-26)
hw10\hw10.pdf (85732, 2017-04-26)
hw10\sorted-list.agda (1242, 2017-04-26)
hw10\sorted-list.agdai (80722, 2017-04-26)
hw10\sorted-list.agda~ (1229, 2017-04-26)
hw10\test-sorted-list.agda (321, 2017-04-26)
hw2 (0, 2017-04-26)
hw2\cardinal.agda (677, 2017-04-26)
hw2\cardinal.agdai (3904, 2017-04-26)
hw2\kleene-todo.agdai (83600, 2017-04-26)
hw2\typing.agda (884, 2017-04-26)
hw2\typing.agdai (78447, 2017-04-26)
hw3 (0, 2017-04-26)
hw3\fact.agda (510, 2017-04-26)
hw3\hw3.pdf (93451, 2017-04-26)
hw3\nat-todo.agda (387, 2017-04-26)
hw3\nat-todo.agdai (77197, 2017-04-26)
hw4 (0, 2017-04-26)
hw4\.#list-todo.agda (34, 2017-04-26)
hw4\bintree.agda (1347, 2017-04-26)
hw4\hw4.pdf (80562, 2017-04-26)
hw4\list-todo.agda (2101, 2017-04-26)
hw5 (0, 2017-04-26)
hw5\MAlonzo (0, 2017-04-26)
hw5\MAlonzo\Code (0, 2017-04-26)
hw5\MAlonzo\Code\Agda (0, 2017-04-26)
hw5\MAlonzo\Code\Agda\Primitive.hs (807, 2017-04-26)
hw5\MAlonzo\Code\Qbool.hi (10329, 2017-04-26)
hw5\MAlonzo\Code\Qbool.hs (2515, 2017-04-26)
hw5\MAlonzo\Code\Qbool.o (12220, 2017-04-26)
hw5\MAlonzo\Code\QboolZ45Zthms.hi (28272, 2017-04-26)
hw5\MAlonzo\Code\QboolZ45Zthms.hs (1767, 2017-04-26)
hw5\MAlonzo\Code\QboolZ45Zthms.o (12188, 2017-04-26)
hw5\MAlonzo\Code\QboolZ45Zthms2.hi (72545, 2017-04-26)
hw5\MAlonzo\Code\QboolZ45Zthms2.hs (3241, 2017-04-26)
... ...
近期下载者：
相关文件：
收藏者：