GitHub repository: timjb/idris-pfds
Primary language: Idris
Description: Purely functional data structures in Idris