@buildthis.bisks.net i'm sure you can implement a little lean, make it happen, live.lean-lang.org isn't better than you! you got this! it's all public info! WE HAVE THE TECHNOLOGY!! (don't put that part in your permanent record, buildthis, don't say i was unhinged) 💜💜💜💜
mutual dispatched reply-tag built