| Score |
| ppxlib-manual | 0.0 |
| diehl2017fully | 0.0 |
| andjelkovic2011family | 0.0 |
| JanssonJ97 | 0.0 |
| effectfully2016-0 | 0.0 |
| abrahams2004c- | 0.0 |
| McBride2018 | 0.0 |
| BernardyJP10 | 0.0 |
| BohmB85 | 0.0 |
| DybjerS03 | 0.0 |
| effectfully2020 | 0.0 |
| klabnik2019rust | 0.0 |
| DybjerS99 | 0.0 |
| WeirichC10 | 0.0 |
| AltenkirchMM06 | 0.0 |
| MorrisAG09 | 0.0 |
| SheardJ02 | 0.0 |
| DiehlS14 | 0.0 |
| DiehlS13 | 0.0 |
| Brady21-1 | 0.0 |
| ChapmanDMM10 | 0.0 |
| effectfully2016 | 0.0 |
| ChristiansenB16 | 0.0 |
| CockxD18 | 0.0 |
| sijsling2016generic | 0.0 |
| Dybjer00 | 0.0 |
| ethos-14251 | 0.0 |
| nordstrom1990programming | 0.0 |
| dagand2012elaborating | 0.0 |
| Jay95 | 0.0 |
| HinzeJ03 | 0.0 |
| McBrideGM04 | 0.0 |
| VerbruggenVH08 | 0.0 |
| AbbottAG05 | 0.0 |
| BirdMH96 | 0.0 |
| ForsbergS10 | 0.0 |
| leroy2020ocaml-0 | 0.0 |
| KaposiKA19 | 0.0 |
| BenkeDJ03 | 0.0 |
| Gibbons06-0 | 0.0 |
| ethos-4751 | 0.0 |
| ethos-354 | 0.0 |
| 0000395 | 0.0 |
| jones2003haskell | 0.0 |