Popular repositories Loading

1. category-theory category-theory Public

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

   Swift 3 1

2. exeter-clojurians.github.io exeter-clojurians.github.io Public

   Babblings

   HTML

3. discussion-ideas discussion-ideas Public

   Capture ideas for future meet up discussions

4. poker-puzzle poker-puzzle Public

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

   Haskell 1

5. machine-learning machine-learning Public

   Jupyter Notebook

6. CatsCheatSheet CatsCheatSheet Public

   Forked from alhassy/CatsCheatSheet

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

   Agda