gobra icon indicating copy to clipboard operation
gobra copied to clipboard
verified publisher icon viperproject

Decluttering the desugarer

Open viper-admin opened this issue 6 years ago • 0 comments

Created by @Felalolf on 2019-09-25 19:48

Currently, the desugarer is in a single file.

This should be decomposed into multiple, more digestible files.

viper-admin avatar Sep 25 '19 19:09 viper-admin