search

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming
http://adam.chlipala.net/papers/LightbulbPLDI21/
MIT License
297 stars 45 forks source link

Stop using auto with * in intuition #356

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

Needs https://github.com/mit-plv/kami/pull/35

samuelgruetter commented 1 year ago

See https://github.com/mit-plv/bedrock2/commit/9320f7c9b92b0daffd57c4251302334556299197