Commits · 35a598cfd5a6252e0a73e68ccf387430d8a351ea · POTTIER Francois / alphaLib

01 Feb, 2017 7 commits
- Use [debug] tag. · 35a598cf
  POTTIER Francois authored Feb 01, 2017
  
  35a598cf
- Use [debug] tag. · 48d1b327
  POTTIER Francois authored Feb 01, 2017
  
  48d1b327
- Added [disjoint]. · cb4a6b53
  POTTIER Francois authored Feb 01, 2017
  
  cb4a6b53
- Fix [KitFa]. · f19a02dc
  POTTIER Francois authored Feb 01, 2017
  
  f19a02dc
- Update [KitBa] to use [disjoint_union_monoid]. · 7c82402d
  POTTIER Francois authored Feb 01, 2017
  
  7c82402d
- Added [disjoint_union_monoid]. · fe9964e4
  POTTIER Francois authored Feb 01, 2017
  
  fe9964e4
- Added [Atom.Set.disjoint_union]. · 3efe72c3
  POTTIER Francois authored Feb 01, 2017
  
  3efe72c3
31 Jan, 2017 10 commits
- Fix [Main] after a change of naming conventions. · 6f4371d8
  POTTIER Francois authored Jan 31, 2017
  
  6f4371d8
- Macros for [subst]. · f65ef79d
  POTTIER Francois authored Jan 31, 2017
```
And a change of internal naming conventions.
```
  f65ef79d
- Add [KitSubst.apply]. · b853d25a
  POTTIER Francois authored Jan 31, 2017
  
  b853d25a
- More macros. · 542e762d
  POTTIER Francois authored Jan 31, 2017
  
  542e762d
- Removed the conversions to de Bruijn indices. · 21d89337
  POTTIER Francois authored Jan 31, 2017
  
  21d89337
- Use cppo macros in the construction of Toolbox. · af5a3da3
  POTTIER Francois authored Jan 31, 2017
  
  af5a3da3
- A comment and a small refactoring. · 87136d34
  POTTIER Francois authored Jan 31, 2017
  
  87136d34
- Comment. · 13c6b59c
  POTTIER Francois authored Jan 31, 2017
  
  13c6b59c
- A file renaming (whose need was not apparent on MacOS). · 5e7f7de3
  POTTIER Francois authored Jan 31, 2017
  
  5e7f7de3
- Removed a few redundant type abbreviations. · 2ed65a47
  POTTIER Francois authored Jan 31, 2017
  
  2ed65a47
30 Jan, 2017 2 commits
- Add README.md. · 193d075a
  POTTIER Francois authored Jan 30, 2017
  
  193d075a
- Repository creation. · 9bbc2d35
  POTTIER Francois authored Jan 30, 2017
  
  9bbc2d35