caledon 2.1.0.0 → 2.1.1.0
raw patch · 4 files changed
+2/−2 lines, 4 files
Files
- HOU.hs +1/−1
- caledon.cabal +1/−1
- examples/.DS_Store binary
- examples/._.DS_Store binary
HOU.hs view
@@ -472,7 +472,7 @@ getVal = snd . fst . snd inter [] [] = throwError "no more options"- inter cg [] = appendErr "" $ F.asum $ reverse cg+ inter cg [] = F.asum $ reverse cg inter cg ((nm,((sequ,_),targ)):l) = do res <- Just <$> ls (nm,targ) if sequ
caledon.cabal view
@@ -1,6 +1,6 @@ Name: caledon -Version: 2.1.0.0+Version: 2.1.1.0 Description: a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities.
− examples/.DS_Store
binary file changed (6148 → absent bytes)
− examples/._.DS_Store
binary file changed (82 → absent bytes)