This website requires JavaScript.
Explore
Help
Sign In
xenia
/
kak-tree
Watch
1
Star
0
Fork
0
You've already forked kak-tree
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
19
Commits
1
Branch
0
Tags
142
KiB
7a4fda31a5
Commit Graph
2 Commits
Author
SHA1
Message
Date
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
Mastodon