certainty-by-construction icon indicating copy to clipboard operation
certainty-by-construction copied to clipboard

Published 20 hours ago • verified publisher icon isovector
→

Metadata

Source material for Certainty by Construction

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

← Metadata

34
Stars
8
Forks
Watchers

Owner

verified publisher icon isovector

Metadata

Source material for Certainty by Construction

Back