Zulip Chat Archive
Stream: lean4
Topic: Do we have readline yet
Schrodinger ZHU Yifan (Oct 14 2023 at 05:49):
Anyone/project working on implementing/porting readline in lean4?
Last updated: Dec 20 2023 at 11:08 UTC
Anyone/project working on implementing/porting readline in lean4?
Last updated: Dec 20 2023 at 11:08 UTC