Looking forward to @shebang's talk next week at @haskellDC ! meetup.com/Haskell-DC/eve…
Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen haskelldc.github.io/idris-drc-3-26…
For the meetup group meetup.com/Haskell-DC/ follow @HaskellDC. Use #haskelldc for Haskell DC tweets.
meetup.com
Haskell DC | Meetup
This group is for anyone interested in the Haskell programming language (or functional programming in general). Come join us, whether you're just getting started or eat, sleep, and breathe Haskell!...
@HaskellDC is for meetup group meetup.com/Haskell-DC/ Use #haskelldc for Haskell DC tweets
meetup.com
Haskell DC | Meetup
This group is for anyone interested in the Haskell programming language (or functional programming in general). Come join us, whether you're just getting started or eat, sleep, and breathe Haskell!...
United States Trends
- 1. Penn State 21.8K posts
- 2. Mendoza 18.6K posts
- 3. Gus Johnson 5,903 posts
- 4. #iufb 3,873 posts
- 5. $SSHIB 1,276 posts
- 6. Omar Cooper 8,689 posts
- 7. Sayin 65.8K posts
- 8. Sunderland 150K posts
- 9. Estevao 25.2K posts
- 10. #UFCVegas111 3,571 posts
- 11. Jim Knowles N/A
- 12. Iowa 19.2K posts
- 13. Texas Tech 13.4K posts
- 14. James Franklin 7,812 posts
- 15. Happy Valley 1,786 posts
- 16. Arsenal 253K posts
- 17. Oregon 33.3K posts
- 18. Neto 24.1K posts
- 19. WHAT A CATCH 11K posts
- 20. Garnacho 18.1K posts
You might like
Something went wrong.
Something went wrong.