What we’re about

Software developers dedicated to the advocacy and advancement of functional software and development technologies such as Clojure, Haskell, F#, Erlang, Scala, OCaml and more.

Past events (3)

See all

Tue, Sep 10, 2024, 5:30 PM EDTLEAN Tutorial - Theorem Proving in Lean 4
This event has passed
4 attendees
Tue, Aug 13, 2024, 5:30 PM EDTLEAN - Data Structure Guarantees
This event has passed
3 attendees
Tue, Apr 19, 2022, 7:00 PM EDTState of the Functional World
This event has passed
9 attendees+4

Find us also at

Facebook
Twitter

Functional SC

What we’re about

Past events (3)

Find us also at

Related topics

Functional SC

What we’re about

Past events (3)

Group links

Find us also at

Related topics