Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 2, 2017

• Add a readme and implementation notes

  

  Chris Birchall

  committed
  f8da8d7

  Copy full SHA for f8da8d7

Commits on Jan 26, 2017

• yay it writes stuff to the status bar

  cb372

  committed
  f1f9300

  Copy full SHA for f1f9300

Commits on Jan 21, 2017

• Start implementing support for Idris IDE protocol

  Show description for 81b74eb
  cb372

  committed
  81b74eb

  Copy full SHA for 81b74eb

• Rewrite in Scala for my own sanity

  cb372

  committed
  a9e90f0

  Copy full SHA for a9e90f0

Commits on Jan 12, 2017

• Implement 'Show Type' action

  

  Chris Birchall

  committed
  a815bb5

  Copy full SHA for a815bb5

Commits on Jan 11, 2017

• Skeleton IntelliJ plugin

  

  Chris Birchall

  committed
  09c1e9e

  Copy full SHA for 09c1e9e