and 1 other
Does anyone use Coq or F*?
I have an idea for next meeting. Advent of Code problem. I have 3 solutions: brute force; clever data structure, trie; and recursion schemes
Would there be interest in going over an exercise for Haskell beginners -- implementing a simple interpreter in Haskell?
Minutes for the 2018-10-20 meeting can be found here: https://seattlehaskell.org/minutes/2018/10/20/minutes.html
We have 460 members, but our meetings rarely attract more than a dozen people. I think we need to make the meetings more interesting...
This Thursday will be my ultimate category theory lecture (coends, existential data, Ninja Yoneda lemma, and finitary functors).
There is an interesting recent talk by Simon PJ about linear types. https://www.youtube.com/watch?v=t0mhvd3-60Y
👋Hi all! I am Jorge, co-organizer of Lambda World Seattle (Sept 17th, 18th). Lots of Haskell & FP talks and workshops in our line-up!
In the nav bar above, check out: More -> Polls -> Open Polls -> Day of the Week for Meetings