Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 23, 2017

• Merge pull request #9 from NickSeagull/master

  Show description for 934fddd
  ziman

  authored
  934fddd

  Copy full SHA for 934fddd

• Remove commented code

  NickSeagull

  committed
  dea9ba1

  Copy full SHA for dea9ba1

• Bump to latest Idris version and GHC 8

  NickSeagull

  committed
  a54fead

  Copy full SHA for a54fead

Commits on Nov 21, 2016

• Update examples.

  ziman

  committed
  911c283

  Copy full SHA for 911c283

• Eliminate warnings caused by language updates.

  ziman

  committed
  34ab79c

  Copy full SHA for 34ab79c

• Add a missing import.

  ziman

  committed
  c794d9c

  Copy full SHA for c794d9c

• Merge pull request #6 from xoltar/stack

  Show description for 8aec16f
  ziman

  authored
  8aec16f

  Copy full SHA for 8aec16f

• Merge pull request #8 from xoltar/fix-readme-urls

  Show description for 7d200d0
  ziman

  authored
  7d200d0

  Copy full SHA for 7d200d0

Commits on Aug 13, 2016

• Corrected URLs in README.md to reflect files now living in lib and examples folders

  xoltar

  committed
  f4226e1

  Copy full SHA for f4226e1

Commits on Aug 4, 2016

• Support building with stack, plus updated for current Idris changes

  xoltar

  committed
  9ff51c8

  Copy full SHA for 9ff51c8

Commits on Aug 1, 2016

• Merge pull request #5 from markuspf/fix-via

  Show description for 80a844a
  ziman

  authored
  80a844a

  Copy full SHA for 80a844a

Commits on Jul 28, 2016

• Add IBCFormat argument to Via in Main.hs

  markuspf

  committed
  4309f90

  Copy full SHA for 4309f90

Commits on Jan 14, 2016

• Rename instance -> implementation, as Idris prescribes.

  ziman

  committed
  67c390e

  Copy full SHA for 67c390e

• Implement more primitives.

  ziman

  committed
  34dfdd1

  Copy full SHA for 34dfdd1

• Add sorting to pythag.

  ziman

  committed
  5f3dc18

  Copy full SHA for 5f3dc18

Commits on Jan 6, 2016

• Special-case backslash.

  ziman

  committed
  41dbe1b

  Copy full SHA for 41dbe1b

• Special-case single quotes in string codegen.

  ziman

  committed
  18969f4

  Copy full SHA for 18969f4

• Fix generation of string/char literals.

  ziman

  committed
  3b6375a

  Copy full SHA for 3b6375a

Commits on Dec 4, 2015

• Fix error reflection.

  ziman

  committed
  a24eb12

  Copy full SHA for a24eb12

• Remove specialisation to Function.

  ziman

  committed
  3f82c60

  Copy full SHA for 3f82c60

• Remove TList.

  ziman

  committed
  77ea118

  Copy full SHA for 77ea118

• Compile calls through List Dyn.

  ziman

  committed
  4e3d381

  Copy full SHA for 4e3d381

• Update example.

  ziman

  committed
  92f8ee3

  Copy full SHA for 92f8ee3

• Express Attr in terms of PAttr.

  ziman

  committed
  dc29b12

  Copy full SHA for dc29b12

Commits on Dec 3, 2015

• Add a test script.

  ziman

  committed
  69bbc78

  Copy full SHA for 69bbc78

• Update BeautifulSoup.

  ziman

  committed
  cc608da

  Copy full SHA for cc608da

• Port examples to new Idris.

  ziman

  committed
  3cdd17a

  Copy full SHA for 3cdd17a

• Port lib to new Idris.

  ziman

  committed
  1228905

  Copy full SHA for 1228905

Commits on Sep 15, 2015

• Support the new Idris codegen interface.

  ziman

  committed
  6a53eb5

  Copy full SHA for 6a53eb5

Commits on Sep 8, 2015

• Remove crutches.

  ziman

  committed
  ad7bd32

  Copy full SHA for ad7bd32

• Remove obsolete methods from Num.

  ziman

  committed
  554eefa

  Copy full SHA for 554eefa

Commits on Sep 7, 2015

• Merge branch 'simplified-defaults'

  ziman

  committed
  42c583c

  Copy full SHA for 42c583c

Commits on Sep 5, 2015

• Sugar for default.

  ziman

  committed
  ac49af0

  Copy full SHA for ac49af0

• Change TCons* to TCons.

  ziman

  committed
  ac2a793

  Copy full SHA for ac2a793

• Use binder sugar.

  ziman

  committed
  5b9abcd

  Copy full SHA for 5b9abcd