Skip to content

liquidhaskell-boot: Remove mi_globals imports and orphan instance

Hannes Siebenhandl requested to merge wip/mi_globals_liquidhaskell_boot into master

Merge request reports