package pp_loc

  1. Overview
  2. Docs
Quote and highlight input fragments at a given source location

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (3)

Authors

  1. A
    Armaël Guéneau <armael.gueneau@ens-lyon.org>

Maintainers

  1. A
    Armaël Guéneau <armael.gueneau@ens-lyon.org>, Steffen Smolka <smolka@cs.cornell.edu>

Sources

pp_loc-2.0.0.tbz
sha256=1bb7e9717a8b88f48b2fc8c8cb72d43a124a41e76619a1c3e1f7c7aa1d7580a4
sha512=e7830948cb7dd4becb0b94c3a13f7d134d4c817b64a1cac980b40c0efd369e15ec4cd3b2ba63476b844330ec52d6f37a385346e6bb3ad125591f2405ed7a7a60

doc/index.html

pp_loc

API

Library pp_loc