Skip to content

Latest commit

 

History

History
6 lines (5 loc) · 311 Bytes

README.md

File metadata and controls

6 lines (5 loc) · 311 Bytes

Imandra documents

This library defines a type of structured documents which can be exported to text, markdown, JSON, and HTML. Internally it can be used to reflect data very simply (see for example Document.record for structures, or Document.list to build a list) and decide later how to render these.