Commits · 9c1e23d2ffe26a5369620cacf65c65bfb75ab2c7 · koizel / personoj

Oct 09, 2021
- test ci · 9c1e23d2
  Gabriel authored 3 years ago
  
  9c1e23d2
- Do not copy pvs-translation-tools to PVS sources · 3668ca46
  Gabriel authored 3 years ago
  
  3668ca46
- remove paper directory · a271ea33
  Gabriel authored 3 years ago
  
  a271ea33
- updated readme · ad8f482d
  Gabriel authored 3 years ago
  
  ad8f482d
- fix workflow · 39046a7f
  Gabriel authored 3 years ago
  
  39046a7f
- integrating exporter · b7f2dc2e
  Gabriel authored 3 years ago
  
  b7f2dc2e
Oct 05, 2021
- fine tuning of tuples · e9acd21c
  hondet authored 3 years ago
  
  surjective pairing projections
  e9acd21c
Sep 27, 2021
- syntax · 7d8def63
  hondet authored 3 years ago
  
  7d8def63
- more tuples and vectors, alternate dir · df90883a
  hondet authored 3 years ago
  
  df90883a
Sep 25, 2021
- matching operator for tuples · b0a0d38f
  hondet authored 3 years ago
  
  b0a0d38f
Sep 24, 2021
- Coercions for generalised tuples · 4298b2c1
  hondet authored 3 years ago
  
  4298b2c1
- more on tuples · b1e7a590
  hondet authored 3 years ago
  
  b1e7a590
Sep 23, 2021
- A library for lengthed tuples · a651edc5
  hondet authored 3 years ago
  
  a651edc5
Sep 20, 2021
- super quantifiers · cda74053
  hondet authored 3 years ago
  
  cda74053
Sep 17, 2021
- fixpoints · 1b326505
  hondet authored 3 years ago
  
  1b326505
Sep 04, 2021
- super projector · 96cc7612
  hondet authored 3 years ago
  
  96cc7612
Sep 03, 2021
- added projection operator · 55be04b4
  hondet authored 3 years ago
  
  55be04b4
Aug 31, 2021
- update lambdapi · 10c65e4f
  hondet authored 3 years ago
  
  10c65e4f
Aug 30, 2021
- update lambdapi for ci · 905cd695
  Gabriel authored 3 years ago
  
  905cd695
- follow new syntax · 68676ffd
  hondet authored 3 years ago
  
  68676ffd
Jul 15, 2021
- comments · 58de7512
  hondet authored 3 years ago
  
  58de7512
- install encoding for tests · eceab6c5
  hondet authored 3 years ago
  
  eceab6c5
- added nat recursor · 561de2ba
  hondet authored 3 years ago
  
  561de2ba
- 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
- install requires object and source files · aadde759
  hondet authored 3 years ago
  
  aadde759
Jun 29, 2021
- transitivity with tuples · 62085d29
  hondet authored 3 years ago
  
  62085d29
- added transitivity example · ea41b63e
  hondet authored 3 years ago
  
  ea41b63e
May 25, 2021
- Nat not constant · a0a3e200
  hondet authored 3 years ago
  
  a0a3e200
- added proj operator · dcf51a2c
  hondet authored 3 years ago
  
  dcf51a2c
- note on paper examples · dd69d7a6
  hondet authored 3 years ago
  
  dd69d7a6
May 20, 2021
- no builtins file (rather nat) · dcfb3a7c
  hondet authored 3 years ago
  
  dcfb3a7c
- logical connectives as utf8 things · f6ff46a0
  hondet authored 3 years ago
  
  f6ff46a0
May 19, 2021
- Tuple encoding to be opened, eqtup as default · 51c4be81
  hondet authored 3 years ago
  
  51c4be81
- Reorganise, less hierarchy in package, coercions · b07c8516
  hondet authored 3 years ago
  
  b07c8516
Mar 17, 2021
- fixed makefile · 7e6d5fde
  hondet authored 4 years ago
  
  7e6d5fde
- Submodule for prenex polymorphism · 7a9e970d
  hondet authored 4 years ago
  
  7a9e970d
Mar 16, 2021
- update to new syntax, prenex depedns on deptype · 2890d40d
  hondet authored 4 years ago
  
  2890d40d
Mar 01, 2021
- Updating to last lambdapi · 0fed5ba3
  hondet authored 4 years ago
  
  0fed5ba3