文件列表:

Dockerfile (580, 2019-03-07)
Haskell17.md (775, 2019-03-07)
LICENSE (1534, 2019-03-07)
Makefile (663, 2019-03-07)
Setup.hs (46, 2019-03-07)
examples/ (0, 2019-03-07)
examples/Composition.hs (713, 2019-03-07)
examples/Fold.hs (2256, 2019-03-07)
examples/IsoInt.hs (907, 2019-03-07)
examples/List.hs (4672, 2019-03-07)
examples/Nat.hs (3061, 2019-03-07)
examples/Peano.hs (1347, 2019-03-07)
examples/dpj/ (0, 2019-03-07)
examples/dpj/CSV.hs (1057, 2019-03-07)
examples/dpj/DPJ.java (1137, 2019-03-07)
examples/dpj/IntegerSumReduction2.hs (5730, 2019-03-07)
examples/dpj/IntegerSumReduction2NoVerification.hs (5657, 2019-03-07)
examples/dpj/Script.hs (1748, 2019-03-07)
examples/dpj/VerifiedAbelianMonoid.hs (8760, 2019-03-07)
examples/nbody/ (0, 2019-03-07)
examples/nbody/VerifiedAbelianMonoid.hs (8736, 2019-03-07)
examples/nbody/allpairs.hs (7460, 2019-03-07)
examples/nbody/allpairs_verified.hs (10139, 2019-03-07)
experiments/ (0, 2019-03-07)
experiments/.agda-lib (55, 2019-03-07)
experiments/Control/ (0, 2019-03-07)
experiments/Control/SimplePar.agda (7501, 2019-03-07)
experiments/Control/SimplePar.hs (10289, 2019-03-07)
experiments/deps/ (0, 2019-03-07)
experiments/deps/agda-prelude/ (0, 2019-03-07)
generic-proofs/ (0, 2019-03-07)
generic-proofs/ChangeLog.md (114, 2019-03-07)
generic-proofs/Dockerfile (617, 2019-03-07)
generic-proofs/Generics.hs (2796, 2019-03-07)
generic-proofs/Generics2.hs (1062, 2019-03-07)
generic-proofs/LICENSE (1518, 2019-03-07)
... ...

# verified-instances Verified typeclasses using [LiquidHaskell](http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/) ### Build Status * Travis: [](https://travis-ci.org/iu-parfunc/verified-instances)

近期下载者：

相关文件：

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

收藏者：