Revision a04f6ec117ec966d489238e0e95fea58e5b80bd0 authored by Jan de Muijnck-Hughes on 22 May 2020, 09:03:53 UTC, committed by GitHub on 22 May 2020, 09:03:53 UTC
Add proofs for red-black properties and black height.
| File | Mode | Size |
|---|---|---|
| AVL | ||
| Algebraic | ||
| DList | ||
| List | ||
| Pair | ||
| RedBlack | ||
| Test | ||
| Vect | ||
| AVL.idr | -rw-r--r-- | 734 bytes |
| BVect.idr | -rw-r--r-- | 364 bytes |
| DList.idr | -rw-r--r-- | 18.3 KB |
| DVect.idr | -rw-r--r-- | 9.9 KB |
| DeBruijn.idr | -rw-r--r-- | 4.2 KB |
| PList.idr | -rw-r--r-- | 10.8 KB |
| PVect.idr | -rw-r--r-- | 9.8 KB |
| Queue.idr | -rw-r--r-- | 2.9 KB |
| RoseTree.idr | -rw-r--r-- | 1.5 KB |
| Stack.idr | -rw-r--r-- | 2.0 KB |
| Tree.idr | -rw-r--r-- | 6.0 KB |
Computing file changes ...
