Commits · master · skeletons / Necro Library

19 Feb, 2021 3 commits
- Change binders · 9dc3e1c3
  Louis Noizet authored Feb 19, 2021
  
  9dc3e1c3
- Adding symbols after semicolon and possibility of multiple symbols in binder · 8a61af2f
  Louis Noizet authored Feb 19, 2021
  
  8a61af2f
- Fix · 70a3be81
  Louis Noizet authored Feb 19, 2021
  
  70a3be81
18 Feb, 2021 3 commits
- Typer now rejects files when a type and a value have the same name · b14a1213
  Louis Noizet authored Feb 18, 2021
  
  b14a1213
- Adding changelog · 9111e458
  Louis Noizet authored Feb 18, 2021
  
  9111e458
- Update test · 16ba5496
  Louis Noizet authored Feb 18, 2021
  
  16ba5496
17 Feb, 2021 1 commit
- Updates · 03f9920a
  Louis Noizet authored Feb 17, 2021
  
  03f9920a
11 Feb, 2021 7 commits
- Update pretty-printers · 6a1e5e13
  Louis Noizet authored Feb 11, 2021
  
  6a1e5e13
- Replace `term` by `value` in names of functions · e5ca5018
  Louis Noizet authored Feb 11, 2021
  
  e5ca5018
- Fix on comment position · 0fb5db77
  Louis Noizet authored Feb 11, 2021
  
  0fb5db77
- Switching `term` keyword to `val` · a1f2801d
  Louis Noizet authored Feb 11, 2021
  
  a1f2801d
- Raise error when a comment is wrongly situated after a constructor or field declaration · 37b04f28
  Louis Noizet authored Feb 11, 2021
  
  37b04f28
- Fix printing order and parentheses · a3363fdd
  Louis Noizet authored Feb 11, 2021
  
  a3363fdd
- Implementing new specification for special comments · f9c6438c
  Louis Noizet authored Feb 11, 2021
  
  f9c6438c
09 Feb, 2021 1 commit
- Adding symbols · 4ea6566a
  Louis Noizet authored Feb 09, 2021
  
  4ea6566a
03 Feb, 2021 2 commits
- Moving binding operators annotations to `=` instead of `let`. · 1046a4d0
  Louis Noizet authored Feb 03, 2021
```
Warning, tests are not up to date
```
  1046a4d0
- Adding possibility of any term as first hand of an application · 1b8dde75
  Louis Noizet authored Feb 03, 2021
  
  1b8dde75
21 Jan, 2021 1 commit
- Fixes issue #26 · c748781f
  Louis Noizet authored Jan 21, 2021
  
  c748781f
20 Jan, 2021 2 commits
- Moved type arguments annotations inside `typed_var` · b8779ca5
  Louis Noizet authored Jan 20, 2021
  
  b8779ca5
- Change handling of typed_var · 58490c5c
  Louis Noizet authored Jan 20, 2021
  
  58490c5c
17 Dec, 2020 1 commit
- Add annotation to distinguish let-bound variables from terms · be3dfb01
  Louis Noizet authored Dec 17, 2020
  
  be3dfb01
12 Dec, 2020 2 commits
- Merge branch 'x-srisbo-master-patch-03698' into 'master' · 4e157707
  NOIZET Louis authored Dec 12, 2020
```
Fix OPAM variable

See merge request !5
```
  4e157707
- Fix OPAM variable · 294a4be1
  Samuel Risbourg authored Dec 12, 2020
  
  294a4be1
11 Dec, 2020 1 commit
- Fix typer + go to ocaml 4.09.1 in generated OCamlDoc · b7f5a2cb
  Louis Noizet authored Dec 11, 2020
  
  b7f5a2cb
09 Dec, 2020 2 commits
- Update doc · 14497dfc
  Louis Noizet authored Dec 09, 2020
  
  14497dfc
- Update OCaml version in README · 58c855cb
  Louis Noizet authored Dec 09, 2020
  
  58c855cb
02 Dec, 2020 2 commits
- Added `let p : ty in …` in the AST of Skel · d8e412bc
  Louis Noizet authored Dec 02, 2020
  
  d8e412bc
- Fixes issue 23 · 89e074f2
  Louis Noizet authored Dec 02, 2020
  
  89e074f2
25 Nov, 2020 4 commits
- Updated Makefile to warn about submodules. Fixes issue #22 . · 97509514
  Louis Noizet authored Nov 25, 2020
  
  97509514
- When doing e.2, add access to type of e · 7d43af63
  Louis Noizet authored Nov 25, 2020
  
  7d43af63
- Fix · b3b42224
  Louis Noizet authored Nov 25, 2020
  
  b3b42224
- Adding order in skeletal semantics · 6d7fde57
  Louis Noizet authored Nov 25, 2020
  
  6d7fde57
18 Nov, 2020 4 commits
- Merge branch 'master' of gitlab.inria.fr:skeletons/necro · 2cb4e2f0
  Louis Noizet authored Nov 18, 2020
  
  2cb4e2f0
- Removed nix and esy · 67977692
  Louis Noizet authored Nov 18, 2020
  
  67977692
- broken link and typos · 0246e682
  SCHMITT Alan authored Nov 18, 2020
  
  0246e682
- Supprimer MORE.md · 674b5b9f
  Louis Noizet authored Nov 18, 2020
  
  674b5b9f
12 Nov, 2020 3 commits
- Update necro-test · 0090dfe5
  Louis Noizet authored Nov 12, 2020
  
  0090dfe5
- Fix · 85e0b16e
  Louis Noizet authored Nov 12, 2020
  
  85e0b16e
- Fix · 734d8c70
  Louis Noizet authored Nov 12, 2020
  
  734d8c70
02 Nov, 2020 1 commit
- Fix · 5b4bbc44
  Louis Noizet authored Nov 02, 2020
  
  5b4bbc44