Config Directives

  check_top_level_purity           false
  coerce_null_integers             false
  database_args
  database_driver
  db_driver_path
  debug                            false
  dodgey_type_isomorphism          false
  dynamic_static_routes            false
  effect_sugar                     false
  effect_sugar_policy              presence_omit,alias_omit,contract_operation_arrows,arrows_curried_hide_fresh
  endbang_antiquotes               false
  external_base_url
  fail_on_ir_type_error            false
  generalise_toplevel              true
  hide_fresh_type_vars             true
  host                             0.0.0.0
  infer_kinds                      false
  infer_recursive_types            guarded
  internal_base_url
  jslibdir                         {directory-built-from}/links/lib/js
  jsliburl                         /lib/
  links_file_paths                 .
  measure_performance              false
  mixing_norm                      false
  native_readline                  true
  noisy_garbage_collection         false
  null_integer                     -1
  optimise                         false
  output_file                      a.js
  port                             8080
  prelude                          {directory-built-from}/links/prelude.links
  print_colours                    false
  print_pretty                     true
  print_types_pretty               true
  printing_functions               false
  printing_types                   true
  readline_history_path
  recheck_frontend_transformations false
  recheck_frontend_transformations_dump false
  recheck_frontend_transformations_filter (some)
  relational_lenses                true
  relational_lenses_classic        false
  serialiser                       Yojson
  show_compiled_ir                 false
  show_compiled_ir_after_backend_transformations false
  show_flavours                    false
  show_generalisation              false
  show_instantiation               false
  show_json                        false
  show_kinds                       default
  show_pattern_compilation         false
  show_post_frontend_ast           false
  show_post_sugar_typing           false
  show_pre_frontend_ast            false
  show_pre_sugar_typing            false
  show_quantifiers                 false
  show_raw_type_vars               false
  show_rec_uses                    false
  show_recursion                   false
  show_row_unification             false
  show_stages                      false
  show_sugar_positions             false
  show_unification                 false
  simplify_types                   false
  ssl                              false
  stdlib_path                      {directory-built-from}/links/lib/stdlib
  switch_functions                 false
  typecheck_ir                     false
  typecheck_only                   false
  types_pretty_printer_engine      roundtrip
  use_stdlib                       true
  websocket_url                    /ws/

System settings
  config
  enable_handlers                  false
  expose_session_fail              false
  isolation                        true
  js_compiler                      cps
  js_hide_database_info            true
  preprocessor
  session_exceptions               false
  ssl_cert_file
  ssl_key_file
  track_control_flow_linearity     false
  version                          0.9.9 (Burghmuirhead)
  webs_running                     false
  welcome_note                      _     _ __   _ _  __  ___
/ |   | |  \ | | |/ / / ._\
| |   | | , \| |   /  \  \
| |___| | |\ \ | |\ \ _\  \
|_____|_|_| \__|_| \_|____/
Welcome to Links version 0.9.9 (Burghmuirhead)```