search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Documentation formatter #56

Open robrix opened 5 years ago

robrix commented 5 years ago

Once we parse documentation comments (cf #1), we should be able to output documentation as formatted HTML. This may also depend on having an HTML syntax highlighter for the surface syntax (cf #55).