search

input-output-hk / implementation-decisions

A repository for all concrete decisions made about how to implement the formal specs
Other
5 stars 5 forks source link

Add guidelines for spec writers. #11

Closed dnadales closed 5 years ago

dnadales commented 5 years ago

On @boothead request I'm adding this section which attempts to capture the procedure that specs writers should follow when modifying a formal spec.