1 search result for "tag:"keyword:higher order abstract syntax""

Showing 1 - 1
  1. coq-elpi

    No documentation

    Elpi extension language for Coq
    category:Miscellaneous/Coq Extensions keyword:λProlog keyword:higher order abstract syntax logpath:elpi
    Enrico Tassi <enrico.tassi@inria.fr>
    2.3.0
    LGPL-2.1-or-later
    Used by 4 other packages
    06 Dec 2024