jfdm idris-containers issues

jfdm / idris-containers

Various data structures for use in the Idris Language.

BSD 3-Clause "New" or "Revised" License

95 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Error building RedBlack tree with Idris 1.3.3

#37 witt3rd opened 4 years ago
0
Can't build with Idris 1.3.2: Erasure/getArity: definition not found for Data.Tree.Empty

#36 corazza closed 4 years ago
0
(lookup k (insert k v dict) dict) = Just v?

#35 dckc closed 4 years ago
3
fix Thinning import from Data.List.Predicates

#34 dckc closed 5 years ago
1
change SubList to Thinning in Predicate.idr

#33 MarcelineVQ closed 5 years ago
1
Add support for elba

#32 dcao closed 5 years ago
1
Algebraic graphs

#31 jfdm closed 6 years ago
0
Equality for Set

#30 ivanperez-keera closed 4 years ago
3
Add proofs for red-black properties and black height.

#29 farrellm closed 4 years ago
0
Update Data.RedBlack.Tree to use key-value pairs

#28 farrellm closed 4 years ago
1
AVL Tree and Dict functions are not total in Idris 1.0

#27 emptyflash closed 7 years ago
2
Added tests to the Functor/Traversable instances

#26 mgttlinger closed 7 years ago
2
Fixed typo.

#25 jackolantern closed 7 years ago
3
Implement Functor, Foldable & Traversable for Dict

#24 mgttlinger closed 7 years ago
6
Traversable instance for Dict

#23 mgttlinger closed 4 years ago
1
Implement IntMap using Patricia tree

#22 chshersh closed 7 years ago
2
Fix/master/dependencies folder

#21 raineorshine closed 7 years ago
1
Made fetch-deps.sh executable.

#20 raineorshine closed 7 years ago
4
Fixed small typo

#19 mgttlinger closed 7 years ago
1
Update readme ipkg workflow

#18 yurrriq closed 7 years ago
0
Update README, package and make/deps workflow

#17 yurrriq closed 8 years ago
3
Added proof that a key is found in a Tree

#16 yacinehmito closed 8 years ago
3
Dependent AVL Tree is Broken

#15 jfdm closed 9 years ago
1
Added Eq and Show instances for Set

#14 ahmadsalim closed 9 years ago
0
Fixed layout of Contributors file

#13 ahmadsalim closed 9 years ago
0
Added erasure warning flag

#12 ahmadsalim closed 9 years ago
0
Design, usability and performance improvements for AVL tree

#11 ahmadsalim closed 9 years ago
4
Add Okasaki-style banker's queues

#10 treeowl closed 9 years ago
3
Improve queues

#9 treeowl closed 4 years ago
1
Testing needs improvement.

#8 jfdm closed 4 years ago
0
RedBlack Trees

#7 jfdm closed 4 years ago
0
AVL Tree issues

#6 jfdm closed 4 years ago
6
Added slightly modified version of David Christiansen's balance-dependent AVL Tree.

#5 ahmadsalim closed 9 years ago
1
Fixed duplication while rotating tree

#4 ahmadsalim closed 9 years ago
0
Changed Set to use Dict instead of AVLTree

#3 ahmadsalim closed 9 years ago
3
Data.AVL.Tree.avlUpdate looks very wrong

#2 treeowl closed 9 years ago
8
Unnecessary constraints in Data.AVL.Tree

#1 treeowl closed 9 years ago
1