Hi everyone, Josselin Poiret writes: > Josselin Poiret (13): > gnu: Add ghc-peano. > gnu: Add ghc-vector-hashtables. > gnu: agda: Update to 2.6.3 and switch to git-fetch. > gnu: agda: Build info manual. > gnu: emacs-agda2-mode: No longer inherit from agda. > gnu: emacs-agda2-mode: Switch to G-Exps. > gnu: agda: Add AGDA_LIBDIRS search-path. > build-system/haskell: Export default-haskell. > build-system: New agda-build-system. > gnu: Add agda-stdlib. > gnu: Add agda-categories. > gnu: Add agda-cubical. > gnu: Add agda-1lab. Pushed as e198fe4e942c58136dd4cb8ebf49cade58a8f5e3 with some additions, notably refactoring some descriptions that the linter didn't like, and updating agda-categories to the new released version, agda-cubical and agda-ial to a new commit. Best, -- Josselin Poiret