GitHub - cdo256/just-agda: Emacs with just Agda and (almost) nothing else.

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
.envrc		.envrc
.gitignore		.gitignore
desktop.el		desktop.el
flake.lock		flake.lock
flake.nix		flake.nix
hallo-theme.el		hallo-theme.el
init.el		init.el
lib.nix		lib.nix
package.nix		package.nix
stream-tweaks.el		stream-tweaks.el
test.agda		test.agda