this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Set library public name

+4 -1
+2
lib/Concrete_syntax.ml
··· 19 19 20 20 module type Input = sig 21 21 module Content : MonoidHom 22 + (** A homomorphism from a monoid of source code to a monoid of offsets. *) 23 + 22 24 type token_info 23 25 type node_info 24 26 end
+2 -1
lib/dune
··· 1 1 (library 2 - (name concrete_syntax)) 2 + (name concrete_syntax) 3 + (public_name concrete-syntax))