search

sboosali / enumerate

enumerate all the values in a finite type (automatically)
8 stars 2 forks source link

readme