mergesort([],[]). % special case
mergesort([A],[A]).
mergesort([A,B|R],S) :-
   split([A,B|R],L1,L2),
   mergesort(L1,S1),
   mergesort(L2,S2),
   merge(S1,S2,S).

split([],[],[]).
split([A],[A],[]).
split([A,B|R],[A|Ra],[B|Rb]) :-  split(R,Ra,Rb).

language: ...

style: rainbow

Get version 9.12.0

Usage

Contribute

@highlightjs

News

  1. 2017-05-30

    Version 9.12.0

    New language:

    New style:

    Improvements:

    • Crystal updated with new keywords and syntaxes by Tsuyusato Kitsune.
    • Julia updated to the modern definitions by Alex Arslan.
    • julia-repl added by Morten Piibeleht.
    • Stanislav Belov wrote a new definition for 1C, replacing the one that has not been updated for more than 8 years. The new version supports syntax for versions 7.7 and 8.
    • Nicolas LLOBERA improved C# definition fixing edge cases with function titles detection and added highlighting of [Attributes].
    • nnnik provided a few correctness fixes for Autohotkey.
    • Martin Clausen made annotation collections in Clojure to look consistently with other kinds.
    • Alejandro Alonso updated Swift keywords.
  2. 2017-04-19

    Version 9.11.0

    New languages:

    Improvements:

  3. 2017-03-07

    Version 9.10.0

    Apologies for missing the previous release cycle. Some thing just can't be automated… Anyway, we're back!

    New languages:

    Improvements:

    • Rust got updated with new keywords by Kasper Andersen and then significantly modernized even more by Eduard-Mihai Burtescu (yes, @eddyb, Rust core team member!)
    • Python updated with f-literals by Philipp A.
    • YAML updated with unquoted strings support.
    • Gauss updated with new keywords by Matt Evans.
    • Lua updated with new keywords by Joe Blow.
    • Kotlin updated with new keywords by Philipp Hauer.
    • TypeScript got highlighting of function params and updated keywords by Ike Ku.
    • Scheme now correctly handles `-quoted lists thanks to Guannan Wei.
    • Sam Wu fixed handling of << in C++ defines.
  4. 2016-12-13

    Version 9.9.0

    New languages

    Improvements:

    • TypeScript updated with annotations and param lists inside constructors, by Raphael Parree.
    • CoffeeScript updated with new keywords and fixed to recognize JavaScript in ```, thanks to thanks to Geoffrey Booth.
    • Compiler directives in Delphi are now correctly highlighted as "meta".
  5. 2016-11-01

    Version 9.8.0 "New York"

    This version is the second one that deserved a name. Because I'm in New York, and the release isn't missing the deadline only because it's still Tuesday on West Coast.

    New languages:

    Improvements:

  6. 2016-09-20

    Version 9.7.0

    A comprehensive bugfix release. This is one of the best things about highlight.js: even boring things keep getting better (even if slow).

    • VHDL updated with PSL keywords and uses more consistent styling.
    • Nested C-style comments no longer break highlighting in many languages.
    • JavaScript updated with => functions, highlighted object attributes and parsing within template string substitution blocks (${...}).
    • Fixed another corner case with self-closing <tag/> in JSX.
    • Added HEALTHCHECK directive in Docker.
    • Delphi updated with new Free Pascal keywords.
    • Fixed digit separator parsing in C++.
    • C# updated with new keywords and fixed to allow multiple identifiers within generics <...>.
    • Fixed another slow regex in Less.
  7. 2016-08-16

    *** 10 years! ***

    Highlight.js turned 10 years a few days ago! Thanks for being with us :-)

  8. 2016-08-09

    Version 9.6.0

    New languages:

    New styles:

    Plus, a few smaller updates for Lasso, Elixir, C++ and SQL.

  9. 2016-06-28

    Version 9.5.0

    New languages:

    New styles:

    Notable changes:

    • Minh Nguyễn added more built-ins to Objective C.
    • Jeremy Hull fixed corner cases in C++ preprocessor directives and Diff comments.
    • Victor Zhou added support for digit separators in C++ numbers.
  10. 2016-05-17

    Version 9.4.0

    New languages:

    New styles:

    Improvements to existing languages and styles:

    • We now highlight function declarations in Go.
    • Taisuke Fujimoto contributed very convoluted rules for raw and interpolated strings in C#.
    • Boone Severson updated Verilog to comply with IEEE 1800-2012 SystemVerilog.
    • Victor Zhou improved rules for comments and strings in PowerShell files.
    • Janis Voigtländer updated the definition of Elm to version 0.17 of the languages. Elm is now featured on the front page of https://highlightjs.org.
    • Special variable $this is highlighted as a keyword in PHP.
    • usize and isize are now highlighted in Rust.
    • Fixed labels and directives in x86 assembler.