Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 20, 2013

• Closed form Selbri/Sumti

  himikof

  committed
  9625bfb

  Copy full SHA for 9625bfb

• Remove duplication

  himikof

  committed
  311df00

  Copy full SHA for 311df00

• Reorganaze, introduce Simple impl

  himikof

  committed
  fb0ab40

  Copy full SHA for fb0ab40

Commits on Jun 3, 2013

• Implement forgotten TPPhantom

  himikof

  committed
  f6a4d50

  Copy full SHA for f6a4d50

• GHC 7.7 (type-nats branch) and decidable equality

  Show description for aa669b9
  himikof

  committed
  aa669b9

  Copy full SHA for aa669b9

Commits on May 16, 2013

• A different implementaion of bridi (Bridi')

  himikof

  committed
  14d40c9

  Copy full SHA for 14d40c9

• Type-level Max function on naturals

  himikof

  committed
  f76c51b

  Copy full SHA for f76c51b

• Refactor Textful typeclass: separate the Eq constraint

  himikof

  committed
  e41218b

  Copy full SHA for e41218b

Commits on May 14, 2013

• WIP on using GHC.TypeLits instead of NatKind

  himikof

  committed
  40602ec

  Copy full SHA for 40602ec

• Ignore /doc for now

  himikof

  committed
  7906237

  Copy full SHA for 7906237

• Add NA cmavo

  himikof

  committed
  332795c

  Copy full SHA for 332795c

Commits on Mar 24, 2013

• Highlight head node(s) in TextTree representation

  Show description for 78102ec
  himikof

  committed
  78102ec

  Copy full SHA for 78102ec

Commits on Mar 19, 2013

• Swap `co` arguments around; fixes #1

  himikof

  committed
  55f564a

  Copy full SHA for 55f564a

• Fix comment formatting

  himikof

  committed
  eae8367

  Copy full SHA for eae8367

• Add fixity declarations for tanru operators

  Show description for a057540
  himikof

  committed
  a057540

  Copy full SHA for a057540

• Fix readme formatting

  himikof

  committed
  14fa13a

  Copy full SHA for 14fa13a

• Add repository description

  himikof

  committed
  7a7400b

  Copy full SHA for 7a7400b

Commits on Mar 18, 2013

• Support FA tags in bridi

  Show description for 97f5f81
  himikof

  committed
  97f5f81

  Copy full SHA for 97f5f81

Commits on Mar 3, 2013

• Split the code, creating some modules

  himikof

  committed
  7a30ee3

  Copy full SHA for 7a30ee3

• Working selbri tagging and CAI/NAI

  himikof

  committed
  499278c

  Copy full SHA for 499278c

• Rename TanruF to Tanru

  himikof

  committed
  1bef621

  Copy full SHA for 1bef621

• Support free-grammar transformers for selbri

  Show description for 2c07895
  himikof

  committed
  2c07895

  Copy full SHA for 2c07895

• Support free-grammar transformers for sumti

  himikof

  committed
  d15c2b6

  Copy full SHA for d15c2b6

• Implement LE descriptors (only lo is supported)

  himikof

  committed
  e0b0bbb

  Copy full SHA for e0b0bbb

• Initial commit

  himikof

  committed
  0ab32bf

  Copy full SHA for 0ab32bf