bewl

bewl copied to clipboard

Lean 4 impl?

2

You’d mentioned rewriting it in idris and scala 3. Another candidate is lean 4, which has a lot of the groundwork but no topoi yet. https://news.ycombinator.com/item?id=37430899 Stuff like gpt-engineer can...

alok

Really cool

4

I was looking for topoi computation libraries and found this. By the way, check out https://topos.institute/

alok

I think it would help if there was more information about how to run bewl. I realise you can't give detailed instructions for every platform but I think some guidelines...

martinbaker