Commits · master · Luca Padovani / DependentLinearPi

02 Sep, 2020 3 commits
- snapshot · 818907de
  Luca Padovani authored Sep 02, 2020
  
  818907de
- snapshot · f249e663
  Luca Padovani authored Sep 02, 2020
  
  f249e663
- snapshot · 877abac6
  Luca Padovani authored Sep 02, 2020
  
  877abac6
28 May, 2020 3 commits
- cleanup · 7ec8241e
  Luca Padovani authored May 28, 2020
  
  7ec8241e
- Related proofs and definitions grouped together · b26a8b74
  Luca Padovani authored May 28, 2020
  
  b26a8b74
- code restructuring · 6934f477
  Luca Padovani authored May 28, 2020
  
  6934f477
27 May, 2020 1 commit
- refined imports · 18452a5c
  Luca Padovani authored May 27, 2020
  
  18452a5c
25 May, 2020 1 commit
- snapshot · 7f90e974
  Luca Padovani authored May 25, 2020
  
  7f90e974
24 May, 2020 3 commits
- snapshot · 270ca596
  Luca Padovani authored May 24, 2020
  
  270ca596
- use library definitions as much as possible · 2600586a
  Luca Padovani authored May 24, 2020
  
  2600586a
- cleanup · c7650f75
  Luca Padovani authored May 24, 2020
  
  c7650f75
23 May, 2020 17 commits
- snapshot · a6ea18ff
  Luca Padovani authored May 23, 2020
  
  a6ea18ff
- Language -> Syntax · 5637dced
  Luca Padovani authored May 23, 2020
  
  5637dced
- removed macros · 0b3414a0
  Luca Padovani authored May 23, 2020
  
  0b3414a0
- removed scaling module · 88465618
  Luca Padovani authored May 23, 2020
  
  88465618
- ht-* -> * · ff0766e6
  Luca Padovani authored May 23, 2020
  
  ff0766e6
- scaling and splitting constructors renamed · 8fc04809
  Luca Padovani authored May 23, 2020
  
  8fc04809
- split-* -> * · 7ef014e8
  Luca Padovani authored May 23, 2020
  
  7ef014e8
- scale-* -> * · 0d5669b1
  Luca Padovani authored May 23, 2020
  
  0d5669b1
- null-* -> * · 3e29b51f
  Luca Padovani authored May 23, 2020
  
  3e29b51f
- lin-p -> pair · 4dfad580
  Luca Padovani authored May 23, 2020
  
  4dfad580
- removed compatibility predicate · 1d978b38
  Luca Padovani authored May 23, 2020
  
  1d978b38
- swap-* -> * · 68fef202
  Luca Padovani authored May 23, 2020
  
  68fef202
- insert-* -> * · 625df1a5
  Luca Padovani authored May 23, 2020
  
  625df1a5
- weaken-* -> * · babc8507
  Luca Padovani authored May 23, 2020
  
  babc8507
- name-* -> * · e57a05eb
  Luca Padovani authored May 23, 2020
  
  e57a05eb
- var -> name · 62ea5ab4
  Luca Padovani authored May 23, 2020
  
  62ea5ab4
- simplified let process · ae256714
  Luca Padovani authored May 23, 2020
  
  ae256714
20 May, 2020 2 commits
- cleanup · 58569d12
  Luca Padovani authored May 20, 2020
  
  58569d12
- snapshot · c64ac625
  Luca Padovani authored May 20, 2020
  
  c64ac625
19 May, 2020 2 commits
- snapshot · 0eeb20b9
  Luca Padovani authored May 19, 2020
  
  0eeb20b9
- snapshot · 31d9316c
  Luca Padovani authored May 19, 2020
  
  31d9316c
18 May, 2020 5 commits
- snapshot · b60a5913
  Luca Padovani authored May 18, 2020
  
  b60a5913
- snapshot · dadd63d6
  Luca Padovani authored May 18, 2020
  
  dadd63d6
- snapshot · de067b7a
  Luca Padovani authored May 18, 2020
  
  de067b7a
- snapshot · ca84d8a8
  Luca Padovani authored May 18, 2020
  
  ca84d8a8
- snapshot · 3354a5fa
  Luca Padovani authored May 18, 2020
  
  3354a5fa
17 May, 2020 3 commits
- snapshot · d963c120
  Luca Padovani authored May 17, 2020
  
  d963c120
- snapshot · 8cb118fe
  Luca Padovani authored May 17, 2020
  
  8cb118fe
- snapshot · 8a1202e6
  Luca Padovani authored May 17, 2020
  
  8a1202e6