Commits · 8b0b8d42abc49012ed156b2357123b07cf25b61c · koizel / personoj

Apr 22, 2020
- 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
  
  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
- aesthetics · c89e0b0f
  gabrielhdt authored 4 years ago
  
  c89e0b0f
- misc · c0b58631
  gabrielhdt authored 4 years ago
  
  c0b58631
- removed useless files · 671661df
  gabrielhdt authored 4 years ago
  
  671661df
- new encodings of booleans, two ways · 3ef53c82
  gabrielhdt authored 4 years ago
  
  3ef53c82
Apr 14, 2020
- boolops tests · f57f9646
  gabrielhdt authored 4 years ago
  
  f57f9646
- fixed rat · f6bd1bbf
  gabrielhdt authored 4 years ago
  
  f6bd1bbf
- two version of deferring · 9bf8d5a8
  gabrielhdt authored 4 years ago
  
  9bf8d5a8
- new deferred · 111772d5
  gabrielhdt authored 4 years ago
  
  111772d5
Apr 13, 2020
- lighter if, sandbox ifs · 8d62fc57
  gabrielhdt authored 4 years ago
  
  8d62fc57
- subtyping · 5cdf7c1f
  gabrielhdt authored 4 years ago
  
  5cdf7c1f
Apr 12, 2020
- a new if · 8584dbe6
  gabrielhdt authored 4 years ago
  
  8584dbe6
Apr 09, 2020
- deferred props and other forms of if · e93f4985
  gabrielhdt authored 4 years ago
  
  e93f4985
- booleans · c7e32b89
  gabrielhdt authored 4 years ago
  
  c7e32b89