Commits · c3857c9bad721273043667a0657ffc7372cd4b21 · koizel / personoj

May 17, 2020
- more complete makefile, cleaning · c3857c9b
  gabrielhdt authored 4 years ago
  
  c3857c9b
May 14, 2020
- removing debug · f296c399
  gabrielhdt authored 4 years ago
  
  f296c399
- moving subtype2 -> subtype · b4639c70
  gabrielhdt authored 4 years ago
  
  b4639c70
- inequality as builtin · 2ce9178e
  gabrielhdt authored 4 years ago
  
  2ce9178e
May 11, 2020
- redoing numbers · 00c5cb46
  gabrielhdt authored 4 years ago
  
  00c5cb46
- computing pi and mu · e7f808a9
  gabrielhdt authored 4 years ago
  
  e7f808a9
Apr 27, 2020
- extensionalities · f6ae1dc0
  gabrielhdt authored 4 years ago
  
  f6ae1dc0
- lift_if · af877466
  gabrielhdt authored 4 years ago
  
  af877466
- existential builtin, string as list of numbers · 47689951
  gabrielhdt authored 4 years ago
  
  47689951
Apr 23, 2020
- ad hoc polymorphism · 355911e0
  gabrielhdt authored 4 years ago
  
  355911e0
Apr 22, 2020
- builtins · 3221b16a
  gabrielhdt authored 4 years ago
  
  3221b16a
- some pagination · 674b8811
  gabrielhdt authored 4 years ago
  
  674b8811
- dependent types, phi to theta · 345d051b
  gabrielhdt authored 4 years ago
  
  345d051b
- notation · 8b0b8d42
  gabrielhdt authored 4 years ago
  
  8b0b8d42
- some numbers · eb656410
  gabrielhdt authored 4 years ago
  
  eb656410
- check prelude · f86cb27b
  gabrielhdt authored 4 years ago
  
  f86cb27b
- commented unvalid prelude · 82277a01
  gabrielhdt authored 4 years ago
  
  82277a01
- eqind, newline · a49f7637
  gabrielhdt authored 4 years ago
  
  a49f7637
- maxcast, comp_same_cstr_cast · 5e287671
  gabrielhdt authored 4 years ago
  
  one less rewriting rule
  5e287671
- taken back logic.lp · 927e2a67
  gabrielhdt authored 4 years ago
  
  927e2a67
Apr 21, 2020
- prenex notations (adapted to lambdapi issue) · 3818b12f
  gabrielhdt authored 4 years ago
  
  3818b12f
- useless encoding files · 0f446c37
  gabrielhdt authored 4 years ago
  
  0f446c37
- syntax, removed ad_hoc · 5812a269
  gabrielhdt authored 4 years ago
  
  5812a269
- check encoding and paper · aebced2b
  gabrielhdt authored 4 years ago
  
  aebced2b
- rule passed · f3c38724
  gabrielhdt authored 4 years ago
  
  f3c38724
Apr 20, 2020
- cleaned · 6ae4c926
  gabrielhdt authored 4 years ago
  
  6ae4c926
- setting ci · 1421ca90
  gabrielhdt authored 4 years ago
  
  1421ca90
- Merge branch 'master' of github.com:deducteam/personoj · f61d04cb
  gabrielhdt authored 4 years ago
  
  f61d04cb
- unused vars · 7541aa46
  gabrielhdt authored 4 years ago
  
  7541aa46
- try ci · 36df1a21
  Gabriel Hondet authored 4 years ago
  
  Unverified
  
  36df1a21
- almost complet · 9209c51a
  gabrielhdt authored 4 years ago
  
  9209c51a
- it was simple · d8a777e9
  gabrielhdt authored 4 years ago
  
  d8a777e9
- almost perfect · f5ee3d08
  gabrielhdt authored 4 years ago
  
  f5ee3d08
- new take on sub-typing · 15e6ccca
  gabrielhdt authored 4 years ago
  
  15e6ccca
Apr 17, 2020
- style · e7f4bcdb
  gabrielhdt authored 4 years ago
  
  e7f4bcdb
- compatibility · 6d0b85d8
  gabrielhdt authored 4 years ago
  
  6d0b85d8
- syntax · 7461846d
  gabrielhdt authored 4 years ago
  
  7461846d
Apr 15, 2020
- some more exfalso · d4c19fb0
  gabrielhdt authored 4 years ago
  
  d4c19fb0
- cosmetics · ffbe8b55
  gabrielhdt authored 4 years ago
  
  ffbe8b55
- fixed equality · 87598969
  gabrielhdt authored 4 years ago
  
  87598969