https://github.com/o-santi/functional-structures

my studies through functional implementations of common data-structures
https://github.com/o-santi/functional-structures

Last synced: 3 months ago
JSON representation

my studies through functional implementations of common data-structures

• Host: GitHub
• URL: https://github.com/o-santi/functional-structures
• Owner: o-santi
• Created: 2022-01-04T00:25:28.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2022-04-29T01:35:23.000Z (over 2 years ago)
• Last Synced: 2024-06-30T08:02:29.228Z (5 months ago)
• Size: 18.6 KB
• Stars: 9
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# functional structures

just a simples repo to record some annotations and implementations (and some proofs) of common data structures (trees, lists, vectors, maps...) presented in the book [Functional Algorithms Verified](https://functional-algorithms-verified.org/).

most of them are in [kind](https://github.com/kind-lang/Kind), so i recomend checking it out.