Code

Add support for Idris#2755

Code

Merged

RunDevelopment merged 6 commits intoPrismJS:masterPrismJS/prism:masterfrom KeenS:language-idrisKeenS/prism:language-idrisCopy head branch name to clipboardFeb 23, 2021

+256-3

Commits

Commits on Feb 12, 2021

• add Idris highlighter

  KeenS

  committed
  fb7456c

• reindent with tab

  KeenS

  committed
  f21be61

• reimplement idris highlighter as haskell extention

  KeenS

  committed
  e6a005d

Commits on Feb 13, 2021

• Update components.json

  Show description for 277afa0
  

  KeenS

  and

  RunDevelopment

  authored
  277afa0

Commits on Feb 22, 2021

• Merge remote-tracking branch 'origin/master' into language-idris

  KeenS

  committed
  91beff7

• rebuild

  KeenS

  committed
  2f05bfc