https://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record

https://www.impredicative.com/wiki/index.php/Using_Top.Fold_to_count_fields_of_a_record

Last synced: 3 months ago
JSON representation