Code

Add IdrisShowCore function#88

Code

Open

andrejtokarcik wants to merge 1 commit intoidris-hackers:masteridris-hackers/idris-vim:masterfrom andrejtokarcik:show-core-functionandrejtokarcik/idris-vim:show-core-functionCopy head branch name to clipboard

+8

Commits

Commits on May 17, 2018

• Add IdrisShowCore function

  andrejtokarcik

  committed
  f724e1a