Denis Merigoux
13545740e8
Bump OCaml version
2020-05-26 10:41:21 +02:00
Nicolas Chataing
7c34522d9f
add better default logic representation to the lambda calculus
2020-05-26 10:12:58 +02:00
Nicolas Chataing
6a3351a5da
Desagared ast modification
2020-05-26 10:02:53 +02:00
Nicolas Chataing
b6479399df
Merge files from master
2020-05-26 09:58:16 +02:00
Denis Merigoux
fc238aafb7
Use rsync for correct results
2020-05-25 19:13:09 +02:00
Denis Merigoux
7018e2ab1d
Transformed dummy example into real english example
2020-05-25 19:07:55 +02:00
Denis Merigoux
2ee5bc49fa
Doc for pos and errors
2020-05-25 17:48:02 +02:00
Denis Merigoux
962109be36
Added doc generation to website assets
2020-05-23 17:39:16 +02:00
Denis Merigoux
9e6c1cc9ee
Documented legifrance_catala
2020-05-23 17:35:40 +02:00
Denis Merigoux
ca6fd2173f
Finished cleanly isolating the API module
2020-05-22 23:33:40 +02:00
Denis Merigoux
cd9957b8c4
Add interface and doc to api.ml
2020-05-22 23:02:48 +02:00
Denis Merigoux
5c64b330e8
Only look into src directory
2020-05-22 19:58:01 +02:00
Denis Merigoux
8d6978a610
Added scope inclusion condition in scope decl
2020-05-19 14:30:52 +02:00
Denis Merigoux
5243f7d363
Scope inclusion in declaration, scope use precondition
2020-05-18 11:29:22 +02:00
Denis Merigoux
57d48190ba
Typos
2020-05-18 09:47:13 +02:00
Denis Merigoux
982e4f5748
Added scope inclusion to tutorial
2020-05-17 23:01:07 +02:00
Denis Merigoux
9fa20a160f
Correct month
2020-05-17 19:21:20 +02:00
Denis Merigoux
e071fbd40f
Copy the right file
2020-05-17 19:13:50 +02:00
Denis Merigoux
1ade06a8f9
Added beginning of tutorial
2020-05-17 18:53:54 +02:00
Denis Merigoux
dbe7845235
Added backslash
2020-05-17 15:23:48 +02:00
Denis Merigoux
e5becb8340
Added logo!
2020-05-15 15:57:32 +02:00
Denis Merigoux
9b0573f12c
Added revised square logo
2020-05-15 15:47:40 +02:00
Nicolas Chataing
3a7030ded7
Merge pull request #12 from CatalaLang/mathsymbols
...
Pretty print maths symbols in html and latex outputs
2020-05-15 15:45:40 +02:00
Nicolas Chataing
17b5317e39
Corrected bug with syntax highlighting and math escaping with minted
2020-05-15 15:28:38 +02:00
Nicolas Chataing
4464417ec9
Pretty print math symbols in html and latex outputs
2020-05-15 11:27:38 +02:00
Denis Merigoux
1122ca42ae
Merge pull request #11 from CatalaLang/readme
...
Add archlinux instructions in the readme
2020-05-15 10:15:11 +02:00
Nicolas Chataing
6126d6982f
Add archlinux instructions in the readme
2020-05-15 10:12:19 +02:00
Denis Merigoux
8e5743c6c6
Added scope inclusion in surface language syntax
2020-05-14 23:31:57 +02:00
Denis Merigoux
58e1a76a78
Added logo proposal
2020-05-14 22:53:42 +02:00
Denis Merigoux
f3aabf5287
Field -> Scope
2020-05-14 21:19:46 +02:00
Denis Merigoux
686669b756
Typos and removed PDF
2020-05-14 17:18:09 +02:00
Denis Merigoux
c03f2c27f5
More README
2020-05-13 14:53:53 +02:00
Denis Merigoux
ad14eb532d
Fixed git submodule init dependency
2020-05-13 14:37:09 +02:00
Denis Merigoux
de3ddfe829
Added git submodule initialization as a dependency of pygments
2020-05-13 14:20:15 +02:00
Denis Merigoux
4f91e74cb5
Improved makefiles and doc
2020-05-13 14:17:41 +02:00
Denis Merigoux
e75b67ba99
Merge pull request #6 from kaepora/patch-1
...
Add missing dependency
2020-05-13 14:10:21 +02:00
Denis Merigoux
6eb681c5f1
Modified Makefile
2020-05-13 13:53:24 +02:00
Nadim Kobeissi
a7d2ff0cd8
Add missing dependency
...
Currently, ocamlformat is not installed by `make install-dependencies`, which leads to the following error while running `make build`:
```bash
~/Documents/git/catala master 2m 20s
❯ make build
/Applications/Xcode.app/Contents/Developer/usr/bin/make -C src/catala/parsing parser_errors.ml
make[1]: `parser_errors.ml' is up to date.
dune build
ocamlopt src/legifrance_catala.exe
ld: warning: directory not found for option '-L/opt/local/lib'
/Applications/Xcode.app/Contents/Developer/usr/bin/make format
dune build @fmt --auto-promote | true
Error: Program ocamlformat not found in the tree or in PATH
(context: default)
Done: 119/183 (jobs: 2)File "syntax_highlighting/fr/pygments/pygments/tests/examplefiles/test.re", line 1, characters 0-0:
Done: 120/183 (jobs: 2)File "syntax_highlighting/en/pygments/pygments/tests/examplefiles/test.re", line 1, characters 0-0:
git (internal) (exit 1)
```
This pull request fixes this problem.
2020-05-13 13:09:39 +02:00
Denis Merigoux
f31c07f991
Merge pull request #4 from risseraka/patch-1
...
Fix typo
2020-05-13 10:40:22 +02:00
Denis Merigoux
9a97d0af25
Updated README.md
2020-05-13 10:25:39 +02:00
Denis Merigoux
dd267a8c2a
Added english asset
2020-05-12 19:02:55 +02:00
Denis Merigoux
ec44f0a000
Application_field -> scope
2020-05-12 18:13:54 +02:00
Denis Merigoux
0c03491d3a
Merge branch 'master' into ir
2020-05-12 17:52:21 +02:00
Denis Merigoux
8a3bc7b012
Merge branch 'html_pp'
2020-05-12 17:51:23 +02:00
Denis Merigoux
3794d94fb4
Removed failed pp attempt
2020-05-12 17:51:06 +02:00
Denis Merigoux
d89c4f1bfb
Better man page generation
2020-05-12 12:08:40 +02:00
Denis Merigoux
d2c92c8a02
Begin to print ast in html
2020-05-10 18:45:05 +02:00
Denis Merigoux
d243c562a4
Fixed surface ast with optional and collection type decorators
2020-05-07 09:40:09 +02:00
Denis Merigoux
39ee3a260e
Scp to send to server
2020-05-06 15:35:43 +02:00
Adrien Risser
4185263ba7
Fix typo
2020-05-06 10:37:00 +02:00
