kosmikus/records-sop

Experimental implementation of generic record subtyping

语言：Haskell · GitHub 星标：18 · Fork：6

在 GitHub 上查看原仓库