-
Pinned update
FP May 2026 meetup venue update Please note a minor change in the venue for the FP meetup tomorrow. more
Any topics / discussions related to functional programming languages are welcome.
ML (Haskell/OCaml/Idris/Lean/Rocq/Agda/PureScript)
Beam (Erlang/Elixir/Gleam)
LISP/Scheme dialects/Clojure
Location: Pre6 (HQ Office), HSR Layout
https://maps.app.goo.gl/D5xgSfN5ZqWUt44c7
Featured submissions
See all-
SK
Saachi Kaup
Chess Problems (and Provers) In Lean
Lean is a functional language used not just for writing programs but proving that they are correct.So what does it mean to “prove” something is correct exactly. Verification is the fourth step of a coming up with a solution. It means that can you prove that the solution you have come up works “reasonably” well. more15 May 2026
-
IB
Ishan Bhanuka
Venue
Pre6 (HQ Office)
UrbanVault 65, GF 316
11th Main Rd, Sector 6, HSR Layout
Bengaluru - 560102
Karnataka, IN
Hosted by
The homepage for the Indian Functional Programming community