It's a new record!

Lots is new in DEVOID:

• Search and lifting between nested tuples and records
• Whole module lifting
• Smarter caching
• Configuration to set terms as opaque to optimize lifting
• An option for producing prettier types when lifting
• Better error messages
• A command to set your own equivalences (experimental)

An example of whole module lifting across records can be found here. Check it out!