Link from evaluation to measurements#8

aspiers merged 1 commit intomainhypercerts-org/hypercerts-lexicon:mainfrom

hypercert-evaluationshypercerts-org/hypercerts-lexicon:hypercert-evaluationsCopy head branch name to clipboard