search

informalsystems / themis-tracer

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

Automatically linkify non-tag elements #26

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Like the Header reference here: https://github.com/cosmos/ics/blob/master/spec/ics-002-client-semantics/README.md#blockchain

Readers should not need to spend minutes hunting down the definition of Header.