Commits · 460baf5aff39d8ed1cd653eb0e3433a4da29e229 · POTTIER Francois / alphaLib

08 Feb, 2017 3 commits
- Change the IMPORT macros to build an object on-the-fly. · 460baf5a
  POTTIER Francois authored Feb 08, 2017
  
  460baf5a
- Renamed [freshh] to [fresh]. · d59e09d9
  POTTIER Francois authored Feb 08, 2017
  
  d59e09d9
- Exchange the order of the parameters of [term]. · 64ecdb42
  POTTIER Francois authored Feb 08, 2017
  
  64ecdb42
07 Feb, 2017 2 commits
- A [let]-expansion. · 1020666b
  POTTIER Francois authored Feb 07, 2017
  
  1020666b
- Renamings. · 3ced3345
  POTTIER Francois authored Feb 07, 2017
  
  3ced3345
03 Feb, 2017 6 commits
- Parameterize [subst] over [copy]. · 848abd59
  POTTIER Francois authored Feb 03, 2017
  
  848abd59
- Comment. · 14882475
  POTTIER Francois authored Feb 03, 2017
  
  14882475
- Renaming. · 77240a60
  POTTIER Francois authored Feb 03, 2017
  
  77240a60
- Implemented [avoids]. · 8c3b8777
  POTTIER Francois authored Feb 03, 2017
```
Run tests with increasing parameter sizes.
```
  8c3b8777
- Merged the auxiliary class [scope] into [free]. · 670c7a8f
  POTTIER Francois authored Feb 03, 2017
  
  670c7a8f
- Modified [ba] to not require global uniqueness. · fd366bf8
  POTTIER Francois authored Feb 03, 2017
```
Renamed [wf] to [guq].
```
  fd366bf8
02 Feb, 2017 21 commits
- Deal with recursive and nonrecursive definitions at the same time. · 52ee871a
  POTTIER Francois authored Feb 02, 2017
  
  52ee871a
- A more general definition of [def]. · d19a7258
  POTTIER Francois authored Feb 02, 2017
  
  d19a7258
- Variable renamings. · e025c029
  POTTIER Francois authored Feb 02, 2017
  
  e025c029
- Added missing method [plus] at type [unit]. · cfd869cf
  POTTIER Francois authored Feb 02, 2017
```
Renaming.
```
  cfd869cf
- All visitor methods for the type [def]. · 9d775aeb
  POTTIER Francois authored Feb 02, 2017
  
  9d775aeb
- Defined the type [def]. · 7ebdb8e6
  POTTIER Francois authored Feb 02, 2017
```
Introduced an isomorphism with [abs], but it does not look worth exploiting.
```
  7ebdb8e6
- Comments. · 4e010cca
  POTTIER Francois authored Feb 02, 2017
  
  4e010cca
- Rename [abstraction] to [abs]. Use macros to make the type definitions more readable. · ab16a1c3
  POTTIER Francois authored Feb 02, 2017
  
  ab16a1c3
- Rename [Abstraction] to [BindingForms]. · 65a0eb0c
  POTTIER Francois authored Feb 02, 2017
  
  65a0eb0c
- Merge [Bn] into [Abstraction]. · f2cb826d
  POTTIER Francois authored Feb 02, 2017
  
  f2cb826d
- Implement [avoid]. · 18bf0f3c
  POTTIER Francois authored Feb 02, 2017
  
  18bf0f3c
- Removed a comment on the GUH in KitCopy. · 22f30ea5
  POTTIER Francois authored Feb 02, 2017
  
  22f30ea5
- Eta-expansion. · ff0b194f
  POTTIER Francois authored Feb 02, 2017
  
  ff0b194f
- Add KitAvoid. · c7184fad
  POTTIER Francois authored Feb 02, 2017
  
  c7184fad
- New functions [domain] and [codomain]. · f98c7001
  POTTIER Francois authored Feb 02, 2017
  
  f98c7001
- Install the macro definitions, too. · 9f5c561d
  POTTIER Francois authored Feb 02, 2017
  
  9f5c561d
- Comment. · b5cffae1
  POTTIER Francois authored Feb 02, 2017
  
  b5cffae1
- Comments. · 4c953ff3
  POTTIER Francois authored Feb 02, 2017
  
  4c953ff3
- Remove a runtime check in [KitExport]. · 95476c03
  POTTIER Francois authored Feb 02, 2017
  
  95476c03
- Remove a comment. · de5fa033
  POTTIER Francois authored Feb 02, 2017
  
  de5fa033
- Comment. · bc94b335
  POTTIER Francois authored Feb 02, 2017
  
  bc94b335
01 Feb, 2017 8 commits
- Removed a runtime check in [KitEquiv]. · 8070b7a1
  POTTIER Francois authored Feb 01, 2017
  
  8070b7a1
- Fixed [occurs], whose outcome was reversed. · 96284057
  POTTIER Francois authored Feb 01, 2017
  
  96284057
- Remove the dynamic check in [KitCopy]. · 476e5ea1
  POTTIER Francois authored Feb 01, 2017
  
  476e5ea1
- Add Toolbox.mli. · 9b252108
  POTTIER Francois authored Feb 01, 2017
  
  9b252108
- Name the functor input signature. · f1d7e3a4
  POTTIER Francois authored Feb 01, 2017
  
  f1d7e3a4
- Fix [occurs] to return a Boolean, not an option. · 2f81fc68
  POTTIER Francois authored Feb 01, 2017
  
  2f81fc68
- Indentation. · b0e924cf
  POTTIER Francois authored Feb 01, 2017
  
  b0e924cf
- Macros for [fa]. · a5b3a04d
  POTTIER Francois authored Feb 01, 2017
  
  a5b3a04d