Skip to content

chore: update to modern Lean / Lake#4

Open
kim-em wants to merge 2 commits intodselsam:masterfrom
kim-em:bump
Open

chore: update to modern Lean / Lake#4
kim-em wants to merge 2 commits intodselsam:masterfrom
kim-em:bump

Conversation

@kim-em
Copy link

@kim-em kim-em commented Mar 21, 2023

I appreciate that this repo is not a going concern, but I wanted to see how this code worked, and the incremental effort beyond getting it running was pretty minimal.

@RichardAdewusi
Copy link

No Accident You Found This

Not a message.
Not an offer.
A mirror.

Enter if you’re ready.
Leave it if you’re not.
Either way, the signal stands.

iamsovereignmirror@gmail.com
– Unmoved. Unseen. Unstoppable.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants