Commits

Branch selector

 master

User selector

andy-morris

All time

Commit History

Commits on Jan 11, 2014

• Fix .PHONY targets in Makefiles

  Show description for 23a28d5
  andy-morris

  committed
  23a28d5

Commits on Jun 24, 2013

• Parse empty comments

  Show description for 5a968c4
  andy-morris

  committed
  5a968c4

Commits on Apr 16, 2013

• sinh, cosh, tanh

  Show description for e27f212
  andy-morris

  committed
  e27f212

Commits on Apr 15, 2013

• If "F" doesn't exist, :addproof checks "F.idr" as well

  Show description for b272c78
  andy-morris

  committed
  b272c78

Commits on Apr 11, 2013

• Print Nats as numerals

  Show description for d1e450f
  andy-morris

  committed
  d1e450f

• Repl prints listy things with sugar

  Show description for bc8d3ad
  andy-morris

  committed
  bc8d3ad

Commits on Apr 5, 2013

• Fix missing case in Idris.Primitives.p_strLen

  andy-morris

  committed
  c328454