@hackage / creditmonad

Reasoning about amortized time complexity

Latest1.1.0

Dependencies