package catala
  Compiler and library for the literate programming language for tax code specification
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      1.0.0-alpha.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        md5=2615968670ac21b1d00386a9b04b3843
    
    
  sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143
    
    
  doc/catala.literate/Literate/Latex/index.html
Module Literate.LatexSource
This modules weaves the source code and the legislative text together into a document that law professionals can understand.
Helpers
Source
val wrap_latex : 
  string list ->
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  (Format.formatter -> unit) ->
  unitUsage: wrap_latex source_files language fmt wrapped
Prints an LaTeX complete documùent structure around the wrapped content.
API
Source
val ast_to_latex : 
  Catala_utils.Global.backend_lang ->
  print_only_law:bool ->
  Format.formatter ->
  Surface.Ast.program ->
  unit