search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Add command to preprocess markdown file #8

Closed shonfeder closed 3 years ago

shonfeder commented 4 years ago

Add a command preprocess that will transform a markdown spec into a version in which:

This command (or the implementing functions) can be be used in static site generation and for automatically updating files in editors.