文件列表:

ChangeLog.md (43, 2019-10-03)
LICENSE (1529, 2019-10-03)
Setup.hs (46, 2019-10-03)
app/ (0, 2019-10-03)
app/Main.hs (1585, 2019-10-03)
package.yaml (1253, 2019-10-03)
src/ (0, 2019-10-03)
src/CSPRel.hs (1006, 2019-10-03)
src/DSL.hs (6552, 2019-10-03)
src/FunRel.hi (896, 2019-10-03)
src/FunRel.hs (55, 2019-10-03)
src/FunRel.o (880, 2019-10-03)
src/ListRel.hs (5347, 2019-10-03)
src/LogicTRel.hs (2275, 2019-10-03)
src/MapRel.hs (1917, 2019-10-03)
src/PathRel.hs (340, 2019-10-03)
src/PolyRel.hs (45, 2019-10-03)
src/ProRel.hs (10004, 2019-10-03)
src/RelClass.hi (749, 2019-10-03)
src/RelClass.hs (669, 2019-10-03)
src/RelClass.o (880, 2019-10-03)
src/SBVRel.hs (750, 2019-10-03)
src/UniRel.hs (4636, 2019-10-03)
stack.yaml (2515, 2019-10-03)
stack.yaml.lock (1859, 2019-10-03)
test/ (0, 2019-10-03)
test/Hog.hs (2124, 2019-10-03)
test/RelTest.hs (2162, 2019-10-03)
test/Spec.hs (612, 2019-10-03)

# rel Some stuff on relation algebra in Haskell. Explanatory Blog posts: - http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ - http://www.philipzucker.com/relational-algebra-with-fancy-types/ Links: - www4.di.uminho.pt/~jno/ps/pdbc.pdf JN Oliveira Program Design By Calculation draft - https://themattchan.com/docs/algprog.pdf algebra of programming textbook

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：