pearl-binary-search icon indicating copy to clipboard operation
pearl-binary-search copied to clipboard
verified publisher icon gallais

Refs

Open gallais opened this issue 4 years ago • 0 comments

Could be nice to compare & contrast with another example of indexing a structure by its meaning e.g.

  • Constructing Correct Circuits Hardware Modelling with Dependent Types
  • Ornaments
  • Phantom variables in theories like Iris

gallais avatar Mar 28 '21 11:03 gallais