kyivlambda @ Haskell Study Group

Functional Programming Community Meetups in Kyiv. Ex. @kyivfprog. Tweets by @darkproger

[Satnam Singh @satnam6502]

Welcome to the 13 members of the newly formed #Haskell Foundation Board.
Alexander Bernauer
Hécate Choutri
Scott Conley
Wendy Devolder
Chris Dornan
Richard Eisenberg
Tom Ellis
Edward Kmett
Andrew Lelechenko
Simon Peyton Jones
Michael Snoyman
Ryan Trinkle
Niki Vazou

[kyivlambda @ Haskell Study Group @kyivlambda]

@xgrommx will continue the journey to recursion schemes tonight at 7.30 EEST. Join discord https://t.co/JtHBdzmch9

[kyivlambda @ Haskell Study Group @kyivlambda]

Now live with @xgrommx https://t.co/tkTcRRnLMJ

[Kyiv Haskell @KyivHaskell]

Today at 19:30 Denis Stoyanov @xgrommx will make an introductory lecture on recursion schemes. Duration: 1 hour. Join us via Discord: https://t.co/5mpGHQjDyE

[kyivlambda @ Haskell Study Group @kyivlambda]

The @KyivHaskell learning group has moved online to Discord: https://t.co/JtHBdzmch9

[🇺🇦 Anton Moldovan @AntyaDev]

Finally, we made it happen
#FSharp Ukraine conference
https://t.co/EpmosugznK
btw: all talks will be in Ukrainian or Russian
#fsharp_ukraine #csharp #fp

[kyivlambda @ Haskell Study Group @kyivlambda]

https://t.co/Lu2Y2srDXx

[kyivlambda @ Haskell Study Group @kyivlambda]

Institute of Mathematics is hosting a full house of students taking part in Winter Math Workshops. Volodymyr Lyubashenko is performing an Introduction to Category Theory

[kyivlambda @ Haskell Study Group @kyivlambda]

#coq time! Join @DigammaAI and Nika Pona on December 5 talking about Formal Verification of Computer Programs in C: https://t.co/CaZZtsbQwu

[Kostia R @ko_bx]

Slides of today’s talk

[kyivlambda @ Haskell Study Group @kyivlambda]

Still working those terms!

[kyivlambda @ Haskell Study Group @kyivlambda]

@KyivHaskell learning group is on! We’re back exactly two years past the launch of the first chapter at the Institute of Mathematics.

[kyivlambda @ Haskell Study Group @kyivlambda]

That’s it for tonight. See you next Thursday! RSVP at https://t.co/ExsemVZIRD

[kyivlambda @ Haskell Study Group @kyivlambda]

https://t.co/mGdHURE8YG

[kyivlambda @ Haskell Study Group @kyivlambda]

Having found out that’s not a good idea to keep doing that, let’s sum some numbers. We arrived at lists with the help of Y combinator, the term from the last tweet.