1 search result for "author:"Gregory Malecha <gregory@bedrocksystems.com>""

Showing 1 - 1
  1. coq-lens

    No documentation

    Generation of lenses for record datatypes
    logpath:Lens date: 2020-11-18
    Gregory Malecha <gregory@bedrocksystems.com>
    1.0.1+8.12
    LGPL2.1+BedRock
    Used by 0 other packages
    18 Nov 2020