Sign in
Join now
chilun
edouard.paris
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
齿轮
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
main
Branches
main
default
Tags
No tags found
View all branches
View all tags
2
1
0
Code
Clone this repository
Use permalink
HTTPS
https://next-dev.tangled.org/edouard.paris/chilun
SSH
git@:edouard.paris/chilun
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
Files
drafts
3mo ago
种子
3mo ago
.gitignore
3mo ago
CLAUDE.md
3mo ago
flake.lock
3mo ago
flake.nix
3mo ago
Commits
2
Understand Lean enum syntax
edouardparis
·
3mo ago
4d3557d0
Copied
Failed
Copy SHA
lake build
edouardparis
·
3mo ago
d5e2c237
Copied
Failed
Copy SHA
Branches
1
main
·
3mo ago
Default
Languages
Nix
100%
