Commit Graph

225 Commits

Author SHA1 Message Date
Emile Rolley
16f796ea19 doc(examples): add link to the website and a remark about pygmentize 2021-12-31 21:12:27 +01:00
Denis Merigoux
095198f5ac
Fix #161 2021-11-29 10:33:43 +01:00
Denis Merigoux
cbee66db24
Added Mayotte computation to allocations familiales 2021-11-07 00:39:12 +01:00
Denis Merigoux
a171e8aaed
Fixed title hierarchy in allocations familiales 2021-11-06 23:38:43 +01:00
Denis Merigoux
d56c31f5b4
Fix Makefile imprecision 2021-11-06 21:57:25 +01:00
Denis Merigoux
3d9c125ce5
More doc 2021-10-11 14:55:50 +02:00
Denis Merigoux
1b1625bc1e
Fix French spelling 2021-10-11 14:40:44 +02:00
Edwin Török
c454c0531a examples/tutorial_en: be explicit about @ and ^ symbols
Use both their verbose name and symbols to make it obvious what they
refer to.

Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 16:05:00 +01:00
Edwin Török
ee03af4afc examples/tutorial_en: headers are prefixed with # not @
Since a42d0c7728 # is used.

Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 16:03:56 +01:00
Edwin Török
c201fee6b8 examples/tutorial_en: fix spelling
paragrah -> paragraph
analyse -> analyze
formulae -> formulas
substraction -> subtraction
adresses -> addresses
mentionned -> mentioned
conditionnally -> conditionally
explicitely -> explicitly
datatypes -> data types

Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 15:56:07 +01:00
Edwin Török
3eddaae882 examples: add a %.spellok helper to check spelling
Usage:
`make -C examples/tutorial_en tutorial_en.spellok`

This will output a list of incorrect words (which should be empty).
Catala-specific words (or uncommon words missing from the default aspell dictionary) can be added to examples/whitelist.<lang>

Signed-off-by: Edwin Török <edwin@etorok.net>
2021-10-10 15:56:07 +01:00
Emile Rolley
9aaa614410 refactor(parser): add the new catala-metadata markup 2021-10-01 10:01:25 +02:00
Denis Merigoux
b72d8e09ee
Restore typechecking version of CGI example 2021-09-28 12:01:08 +02:00
Denis Merigoux
caf42f3445
Merge branch 'master' into jemsab_4b 2021-09-28 11:52:09 +02:00
Denis Merigoux
03b44f5b15
Python backend debugged and tested 2021-06-25 00:47:12 +02:00
Denis Merigoux
fffd0ffb63
Working the way into the Python backend 2021-06-22 14:55:43 +02:00
Denis Merigoux
bbd50747d9
Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
EmileRolley
fddf7c5930 refactor(build): add .ml as target for the clean rule of examples/Makefile.commom.mk 2021-06-08 15:09:17 +02:00
EmileRolley
089de75030 fix(examples): syntax error (tutorial_fr instead of tutoriel_fr) 2021-06-04 11:37:44 +02:00
Denis Merigoux
9b16576c5a
Merge pull request #128 from EmileRolley/vim_syntax
feat(syntax_highlighting): add vim syntax files
2021-06-03 09:38:29 +02:00
EmileRolley
ed73be5abf feat(syntax_highlighting): add the catala_pl.vim file 2021-06-01 10:53:49 +02:00
Denis Merigoux
df01733bbd
Typecheck and fix the inheritance tax example 2021-05-31 16:59:43 +02:00
Denis Merigoux
32aa818249
Beginning of succession law 2021-05-31 16:26:41 +02:00
Bartosz Woźniak
7d05d76825 cleanup 2021-05-17 18:14:00 +02:00
Denis Merigoux
36093c885b
Added context variable declaration 2021-05-17 10:49:05 +02:00
Bartosz Woźniak
44af0acdb3 visible diacritics done 2021-05-16 21:07:14 +02:00
Bartosz Woźniak
831f4c75ae diacritics ę 2021-05-16 20:38:38 +02:00
Bartosz Woźniak
b1ecf5abc9 begin diacritics 2021-05-16 20:35:39 +02:00
Bartosz Woźniak
68e2d5c541 change form of noun for consistency 2021-05-16 20:22:53 +02:00
Denis Merigoux
f14408375a
Update to new syntax 2021-05-15 16:28:14 +02:00
Denis Merigoux
d50710d533
Merge branch 'master' into wozniak_polish 2021-05-15 16:19:41 +02:00
Denis Merigoux
f9b88e2259
Fixed heading precedence in examples 2021-05-15 16:04:35 +02:00
Denis Merigoux
3c8d187be0
Big refactoring of the literate programming structure
Partially fixes #120
Removes the distinction between headers and articles, streamlines the surface AST
Changes affects lexers and parser
2021-05-15 01:16:08 +02:00
Denis Merigoux
147e35083e
Point directly to executable instead of dune exec 2021-05-14 18:44:06 +02:00
Bartosz Woźniak
fec6c2b145 fix typo, issue with 0.something% still exists 2021-05-13 22:25:17 +02:00
Bartosz Woźniak
7e31b230d0 add p. 9 but why is the test failing? 0.1% * 1000 == 1, not 10 2021-05-13 22:22:49 +02:00
Bartosz Woźniak
f5a070f5a3 add p.7 2021-05-13 22:16:48 +02:00
Bartosz Woźniak
6afdca09b8 rename var 2021-05-13 22:02:52 +02:00
Bartosz Woźniak
8f4b4a0462 extract intro 2021-05-13 14:08:23 +02:00
Bartosz Woźniak
cc2ec3d613 change currency 2021-05-12 19:50:47 +02:00
Bartosz Woźniak
f66fdf2a5c extend comment 2021-05-12 19:43:31 +02:00
Bartosz Woźniak
f70e3e4296 change 'zawartosc' which means 'content' to 'typu' which means 'of the type..' 2021-05-12 19:42:40 +02:00
Bartosz Woźniak
03f6e412d9 add text's whole title - https://isap.sejm.gov.pl/isap.nsf/download.xsp/WDU20000860959/U/D20000959Lj.pdf 2021-05-12 18:56:14 +02:00
Bartosz Woźniak
219293baa7 ## headers, eng->pl fix 2021-05-12 18:54:09 +02:00
Denis Merigoux
4f9b0d63fd Fix PL pygmentz lexer and document formatting 2021-05-12 10:43:42 +02:00
Bartosz Woźniak
f5234c6bdf convert metadata stuff 2021-05-11 20:35:35 +02:00
Bartosz Woźniak
f2055d67ac tests 2021-05-09 23:15:19 +02:00
Bartosz Woźniak
e4bc4c3c8f swap english -> polish 2021-05-09 23:06:59 +02:00
Bartosz Woźniak
db46b1c444 lexer 2021-05-09 23:01:38 +02:00
Bartosz Woźniak
37c8f8da64 fixes for pdf, cleanup 2021-05-09 17:10:26 +02:00