search

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

let bindings on master #256

Closed 0xverif closed 3 years ago

0xverif commented 3 years ago

simple changes to cat.md and kmcd-prelude.md

all tests passing