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

Showing 1 - 1
  1. coq-parsec

    No documentation

    Monadic parser combinator library in Coq
    category:Computer Science/Data Types and Data Structures keyword:string logpath:Parsec
    Yishuai Li <yishuai@cis.upenn.edu> Azzam Althagafi <aazzam@cis.upenn.edu> Yao Li <liyao@cis.upenn.edu> Li-yao Xia <xialiyao@cis.upenn.edu> Benjamin C. Pierce <bcpierce@cis.upenn.edu>
    0.2.0
    BSD-3-Clause
    Used by 2 other packages
    09 Oct 2024