Add hint for implies (using --> and not ->)#221

CatarinaGamboa merged 1 commit into

mainliquid-java/liquidjava:mainfrom

hint-impliesliquid-java/liquidjava:hint-impliesCopy head branch name to clipboard