3 Commits

Author	SHA1	Message	Date
Dominik Xaver Hörl	25bef2d8f9	treewide: simplify pkgs.stdenv.lib -> pkgs.lib ... The library does not depend on stdenv, that `stdenv` exposes `lib` is an artifact of the ancient origins of nixpkgs.	2021-01-10 20:12:06 +01:00
Manuel Bärenz	4336f9f7bb	tests/agda: Fix comment	2020-09-18 12:42:23 +02:00
Manuel Bärenz	b78a5a0e79	agda: Added test	2020-05-14 20:54:12 +01:00