-
Przemyslaw Kaminski authored
This is to disallow for NgramsTerm keys with spaces. Can be modified for other kinds of term normalization later.
1c8e66d9
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Annuaire.hs | ||
| List.hs | ||
| Pairing.hs | ||
| Types.hs | ||
| Utils.hs |
This is to disallow for NgramsTerm keys with spaces. Can be modified for other kinds of term normalization later.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Annuaire.hs | ||
| List.hs | ||
| Pairing.hs | ||
| Types.hs | ||
| Utils.hs |