Improve pprint - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

581 stars 17 forks source link

Closed nilehmann closed 5 months ago

nilehmann commented 5 months ago

Represent vars in fhir as paths
Carry parameter names down to rty
Generate fresh names for anonymous bound variables instead of printing de Bruijn indices.