GitHub repository: kowainik/idris-patricia
Primary language: Idris
Description: :crystal_ball: :volcano: Implementation of immutable map from integer keys to values based on patricia tree. Basically persistent array.