elisp-compile agda-mode. Fix the live ebuild.
Change the agda-stdlib live ebuild to EAPI=5
Update the idris live ebuild git repo. Build the idris-tutorial.pdf from the tex sources. Install the examples.
new packages: dph-*

From #ghc:
> < slyfox> 'make install' does not install dph, does it?
> < slyfox> it seems to be buildable by stage2
> < thoughtpolice> slyfox: no, it doesn't. dph is only installed if you set InstallExtraPackages=YES
> < slyfox> thoughtpolice: oh, thanks!
> < slyfox> (gentoo had dph flag for git builds, but dph stopped installing there)
> < thoughtpolice> the dph in HEAD is out of sync with upstream anyway i think
> < thoughtpolice> dunno if you want to offer it, InstallExtraPackages gives you random/primitive/vector/dph, which all technically have their own upstreams
> < slyfox> aha
> < slyfox> so we'd better package those separately
> < thoughtpolice> right
> < slyfox> (we already do for the first 3)
> < thoughtpolice> we just keep them around for perf/regression tests
> < thoughtpolice> (hence, not installed by default)
> < slyfox> *nod*, now makes sense

Thus i've pulled those separately (most require ghc-7.6+)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Make agda-executable-9999 EAPI=5 with subslot depend on agda-9999
Change the deps on agda-stdlib-9999: subslot depend on agda-executable-9999. Subslot depend on agda-9999 -> as the agda lib is used in the ghc command line called by agda. So it needs deps on ghc and cabal as well. While as filemanip is only used when building executables used in the build.
Upstream loosened the QuickCheck dep in agda-9999
Add app-emacs/idris-mode. An in-development, experimental emacs mode for the research dependently typed idris programming language.
net-misc/hath: bump to version 0.0.5.
Merge pull request #271 from mjorlitzky/master

net-misc/hath: bump to version 0.0.5.
www-servers/mighttpd2: bump up to 2.8.8

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/network: bump up to 2.4.2.0

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/socks: bump up to 0.5.3

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/yaml: bump up to 0.8.5.1

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/mwc-random: bump up to 0.13.1.0

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/either: bump up to 3.4.2

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/pandoc-citeproc: bump up to 0.1.2

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/entropy: bump up to 0.2.2.3

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/hashtables: bump up to 1.1.2.1

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
dev-haskell/cipher-aes: bump up to 0.2.6

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>