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

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Closed briangmilnes closed 2 months ago

briangmilnes commented 2 months ago

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

msprotz commented 2 months ago

Can you file this on FStarLang/karamel itself? Thank you