xenia
/
kak-tree
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
35 Commits
1 Branch
0 Tags
142 KiB
Commit Graph

3 Commits (main)

Author SHA1 Message Date
xenia a0fb48c088 Refactor flake.nix slightly 2023-12-29 23:21:40 +01:00
xenia 0acc4dbba4 Add agda, nix 2023-11-12 14:36:27 +01:00
xenia f193be1731 First commit 2023-11-12 00:21:50 +01:00