search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Synth copy #155

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

This is a WIP/failed attempt at circumventing anti-aliasing problems described in #154. The approach failed because it hit the same problem (anti-aliasing) that it wanted to solve for recursive data types.

yannbolliger commented 3 years ago

Superseded by #156.