diff options
author | Eduardo Julian | 2018-05-02 00:35:41 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-05-02 00:35:41 -0400 |
commit | 4331551e030860116f5b6d23ad0d1259e1e7c048 (patch) | |
tree | 6729373786930fcf45f5a2ec7f2475e0556055f9 /new-luxc/source/luxc/lang/translation | |
parent | 7237639429cf766ca63cdcfd87a603fa0616f29d (diff) |
- Added function for folding using monoids.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation')
0 files changed, 0 insertions, 0 deletions