https://github.com/isovector/certainty-by-construction

Source material for Certainty by Construction
https://github.com/isovector/certainty-by-construction

agda book functional-programming math

Last synced: 7 months ago
JSON representation

Source material for Certainty by Construction

• Host: GitHub
• URL: https://github.com/isovector/certainty-by-construction
• Owner: isovector
• Created: 2022-10-13T03:27:48.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2024-01-20T21:46:48.000Z (over 1 year ago)
• Last Synced: 2025-01-29T11:11:54.808Z (9 months ago)
• Topics: agda, book, functional-programming, math
• Language: TeX
• Homepage: https://leanpub.com/certainty-by-construction/
• Size: 7.46 MB
• Stars: 39
• Watchers: 3
• Forks: 12
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# book

- introduction to agda

- proof objects

- induction unification vs functions

- data structures + maintaining invariants

  - linked list

  - vectors / fins for indexes

  - bst

  - heap

  - trie

- representations matter!

  - eg matrices suck as vecs of vecs