1 search result for "tag:"logpath:RecordUpdate""

Showing 1 - 1
  1. coq-record-update

    No documentation

    Generic support for updating record fields in Coq
    category:Computer Science/Data Types and Data Structures keyword:record logpath:RecordUpdate date:2024-04-03
    Tej Chajed
    0.3.4
    MIT
    Used by 2 other packages
    04 Apr 2024