Berekely undergraduate research question

Stream: Berkeley Lean Seminar

[Chase Norman]

Hi all. I am a Berkeley undergraduate working on a research project in lean. Prof. Wesley Holliday referred me to your group to learn more about lean, and in attending one of your meetings I received some great advice.

I've reached a design problem in my research relating to the lean type system (here is a link to my related question) and I was wondering if any of you would be willing to give me some advice. My understanding of type classes and type parameters is not at the level to properly be able to design this critical part of the work. If any of you are available to talk to me about this or have any ideas, please let me know. I'm greatly appreciative of your time. Thanks.

[Patrick Lutz]

You're definitely welcome to come to the Friday meeting again any week (it's still happening regularly). Also, I tried answering the question you linked to

[Chase Norman]

Oh! I just presumed it had stopped with the semester. I'll definitely continue to join in.