ungadtagger

UnGADTagger encapsulates abstraction-from-GADT-tag workflow by utilizing existentials, rank2-types and kind polymorphism. An example:

由

bruceshi2021-01-13 收录

推荐

不推荐

更多信息

carbal install ungadtagger

标签

根据用户添加的标签生成

暂无标签