Commits · 905cd6957c08b4434b01cefbd940eba38492e881 · koizel / personoj

Aug 30, 2021
- update lambdapi for ci · 905cd695
  Gabriel authored 3 years ago
  
  905cd695
Jul 15, 2021
- install encoding for tests · eceab6c5
  hondet authored 3 years ago
  
  eceab6c5
- yes yes yes · 670a44ac
  hondet authored 3 years ago
  
  670a44ac
- my lambdapi · f25b17b6
  hondet authored 3 years ago
  
  f25b17b6
- update ci · 4455c851
  hondet authored 3 years ago
  
  4455c851
Feb 09, 2021
- Updated to new lambdapi · 136041e3
  hondet authored 4 years ago
  
  136041e3
Feb 07, 2021
- Fixing ci · 6b7df67e
  hondet authored 4 years ago
  
  6b7df67e
- Updating ci · 5ad544d9
  hondet authored 4 years ago
  
  5ad544d9
- Switching to latest lambdapi syntax · 9807710c
  hondet authored 4 years ago
  
  9807710c
Apr 22, 2020
- check prelude · f86cb27b
  gabrielhdt authored 4 years ago
  
  f86cb27b
Apr 21, 2020
- check encoding and paper · aebced2b
  gabrielhdt authored 4 years ago
  
  aebced2b
Apr 20, 2020
- setting ci · 1421ca90
  gabrielhdt authored 4 years ago
  
  1421ca90
- try ci · 36df1a21
  Gabriel Hondet authored 4 years ago
  
  36df1a21