文件名称：CS-518:CS 518课程的作业
文件大小：175KB
文件格式：ZIP
更新时间：2024-05-08 17:55:04
OCaml
CS-518 CS 518课程的作业
【文件预览】：
CS-518-main
----hw5()
--------Swap.bpl(259B)
--------Sum.bpl(306B)
--------CatchUp.bpl(191B)
--------Square.bpl(304B)
--------Counter.bpl(163B)
--------README.md(125B)
--------SquareRt.bpl(246B)
----hw6()
--------integerDiv.dfy(280B)
--------Two-Way-Sort.dfy(2KB)
--------Reverse.dfy(357B)
--------README.md(26B)
----hw9()
--------AK_group_axioms.in(219B)
--------AK_group_identity.out(4KB)
--------AK_group_distributive.in(244B)
--------AK_group_axioms.out(6KB)
--------AK_group_abelian.out(195B)
--------AK_group_identity.in(258B)
--------AK_group_distributive.out(5KB)
--------README.md(85B)
--------AK_group_abelian.in(168B)
----hw11()
--------majority.py(214B)
--------README.md(15B)
--------streamroller.py(1KB)
----hw2()
--------add()
--------prod()
--------concat()
--------sqrt()
--------README.md(229B)
----hw3()
--------exe3.ml(639B)
--------exe2.ml(238B)
--------README.md(20B)
--------lstRev+qcheck.ml(219B)
----hw8()
--------zip.dfy(796B)
--------README.md(20B)
--------bigFoot.dfy(1006B)
--------getEven.dfy(428B)
----hw4()
--------pic()
--------Problem 3()
--------Problem2()
--------README.md(20B)
----README.md(36B)
----hw1()
--------tetra2.ml(875B)
--------tetra1.ml(371B)
--------fibo.ml(200B)
--------README.md(24B)
----hw7()
--------artihSeries.dfy(612B)
--------kthEven.dfy(405B)
--------arrayMin.dfy(592B)
--------README.md(1KB)