Charleston Lean Proof Assistant Meetup
Details
Like last time, our next meeting will be split into two parts. Jared will talk about using Lean as a function programming language. Ben will review the article "Perceus: Garbage Free Reference Counting with Reuse" that introduces the novel programming paradigm FBIP (Functional But In-Place)
RSVP here https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/
Events in Charleston, SC
Functional Programming