Skip to content

Construct record datacons in tactics#1356

Merged
mergify[bot] merged 4 commits intohaskell:masterfrom isovector:record-conFeb 13, 2021