karamel icon indicating copy to clipboard operation
karamel copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

karamel/test README.md out of date, wants rust

Open briangmilnes opened this issue 6 months ago • 0 comments

Had to do a curl, sh thing to install rust. karamel/test/README.md should probably just point up to karamel/README.md

briangmilnes avatar Aug 01 '24 19:08 briangmilnes