graninas/Hydra
Adopt a better naming scheme for Free & CM Free modules
Ouverte
#7 ouverte le 11 avr. 2020
good first issuerefactoring
Métriques du dépôt
- Stars
- (206 étoiles)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
Currently, the naming scheme is imperfect.
- Free monadic language and interpreter modules are
LanguageandInterpreter - Church Encoded Free monadic language and interpreter modules are
ChurchLandChurchI - Final Tagless have
FTLprefix
There should be more consistent naming scheme.