GitHub repository: AriFordsham/records-sop
Primary language: Haskell
Description: Experimental implementation of generic record subtyping