Repositories list

• thinking-with-types

  Public
  Working through Thinking With Types by Sandy Maguire

  Haskell

  •0•0•0•0•Updated Feb 26, 2020Feb 26, 2020

• CatsCheatSheet

  Public
  This project is to contain a listing of common theorems in elementary category theory.

  Agda

  •4•0•0•0•Updated Dec 26, 2018Dec 26, 2018

• machine-learning

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Jul 22, 2018Jul 22, 2018

• poker-puzzle

  Public
  Comparing different solutions in a variety of "functional first" languages for a poker problem

  project-eulerfunctional-programming

  Haskell

  •1•0•0•0•Updated Jul 16, 2018Jul 16, 2018

• category-theory

  Public
  Notes from studying https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

  Swift

  •1•4•0•0•Updated Feb 15, 2018Feb 15, 2018

• discussion-ideas

  Public
  Capture ideas for future meet up discussions

  0•0•4•0•Updated Mar 2, 2017Mar 2, 2017

• exeter-clojurians.github.io

  Public
  Babblings

  HTML

  •0•0•0•0•Updated Aug 28, 2015Aug 28, 2015