https://github.com/timjb/idris-pfds

Purely functional data structures in Idris
https://github.com/timjb/idris-pfds

dependent-types purely-functional-data-structures

Last synced: about 2 months ago
JSON representation

Purely functional data structures in Idris

• Host: GitHub
• URL: https://github.com/timjb/idris-pfds
• Owner: timjb
• License: mit
• Created: 2014-10-13T14:36:43.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2017-09-24T22:39:33.000Z (over 7 years ago)
• Last Synced: 2025-03-06T11:00:01.791Z (2 months ago)
• Topics: dependent-types, purely-functional-data-structures
• Language: Idris
• Size: 37.1 KB
• Stars: 10
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Purely Functional Data Structures in Idris [![Build Status](https://travis-ci.org/timjb/idris-pfds.svg?branch=master)](https://travis-ci.org/timjb/idris-pfds)

This is a collection of purely functional data structures implemented in Idris, some of them adapted from Chris Okasaki's book. Where possible, I tried to use size-indexed types.

Compatibility: Requires Idris >= 0.11