Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Dec 2, 2024

• replace broken link to Intuitionistic Type Theory

  

  4lxs

  authored and

  steshaw

  committed
  4a2f354

  Copy full SHA for 4a2f354

Commits on Jul 28, 2023

• Add new collection

  

  imteekay

  authored and

  steshaw

  committed
  2c329e0

  Copy full SHA for 2c329e0

Commits on Jul 26, 2023

• Add Max Bernstein's pl-resources

  steshaw

  committed
  6a7028e

  Copy full SHA for 6a7028e

Commits on Jul 8, 2023

• Deindent bullet lists

  steshaw

  committed
  330db4d

  Copy full SHA for 330db4d

Commits on Jul 2, 2023

• Add Category Theory for Programming

  steshaw

  committed
  4822f1c

  Copy full SHA for 4822f1c

• Update broken link

  steshaw

  committed
  58bf520

  Copy full SHA for 58bf520

• Update broken link

  steshaw

  committed
  1afa4f7

  Copy full SHA for 1afa4f7

• Category Theory book and course

  steshaw

  committed
  9588336

  Copy full SHA for 9588336

• Update Category Theory for Programmers

  steshaw

  committed
  479ccc2

  Copy full SHA for 479ccc2

• Add Sandy Maguire's article

  steshaw

  committed
  391d4e6

  Copy full SHA for 391d4e6

• Better link for Bananas paper

  steshaw

  committed
  8227587

  Copy full SHA for 8227587

• Fix link to Wouter Swierstra's Data types à la carte

  steshaw

  committed
  c9ebb1b

  Copy full SHA for c9ebb1b

• Alternative link for Ralf Lämmel's video

  steshaw

  committed
  956e31c

  Copy full SHA for 956e31c

• Fix up Ed Kmett's articles

  steshaw

  committed
  bc7fc00

  Copy full SHA for bc7fc00

• Fix link to recursion-schemes Haskell package

  steshaw

  committed
  eb9349c

  Copy full SHA for eb9349c

• Add complete recursion scheme series by Patrick Thomson

  steshaw

  committed
  b88ffa2

  Copy full SHA for b88ffa2

• Fix OPLSS archives link

  steshaw

  committed
  fec3c71

  Copy full SHA for fec3c71

• Remove Alex Ott's FP books from tips section

  steshaw

  committed
  71be1c8

  Copy full SHA for 71be1c8

• Trim whitespace

  steshaw

  committed
  f4ad70c

  Copy full SHA for f4ad70c

• Add Alex Ott's functional programming language book list (much overlap)

  

  omentic

  authored and

  steshaw

  committed
  155d939

  Copy full SHA for 155d939

• Add HoTTEST, various link rot fixes

  

  omentic

  authored and

  steshaw

  committed
  7dc38e1

  Copy full SHA for 7dc38e1

• Added three links to index.md

  Show description for a32818b
  

  Francesco601

  authored and

  steshaw

  committed
  a32818b

  Copy full SHA for a32818b

Commits on May 18, 2023

• Provide link to PDF

  Show description for 8d2a07e
  steshaw

  committed
  8d2a07e

  Copy full SHA for 8d2a07e

Commits on Apr 3, 2023

• Add "Programming Languages: Build, Prove, and Compare" to PL

  

  bzy-debug

  authored and

  steshaw

  committed
  4a5b22c

  Copy full SHA for 4a5b22c

Commits on Jun 27, 2022

• Oxford comma!

  steshaw

  committed
  9bae7bb

  Copy full SHA for 9bae7bb

Commits on Jun 16, 2022

• Update index.md

  

  sngbd

  authored and

  steshaw

  committed
  9e02db3

  Copy full SHA for 9e02db3

• Update index.md

  

  sngbd

  authored and

  steshaw

  committed
  64851a0

  Copy full SHA for 64851a0

Commits on Mar 13, 2022

• TaPL -> TAPL

  steshaw

  committed
  5239bce

  Copy full SHA for 5239bce

Commits on Mar 3, 2022

• Include Martin Odersky's first name

  steshaw

  committed
  c6dcd37

  Copy full SHA for c6dcd37

• Fix link to "The Implicit Calculus"

  steshaw

  committed
  d4e800c

  Copy full SHA for d4e800c

• Add "The collected works of Per Martin-Löf"

  steshaw

  committed
  acdd043

  Copy full SHA for acdd043

• Indent with nbsp

  steshaw

  committed
  3dd0224

  Copy full SHA for 3dd0224

• Fix links for Type classes as objects and implicits

  steshaw

  committed
  130855c

  Copy full SHA for 130855c

• Replace link to ppt Google Docs Viewer

  steshaw

  committed
  8f01722

  Copy full SHA for 8f01722

Commits on Feb 25, 2022

• Word smith

  steshaw

  committed
  edc8d0b

  Copy full SHA for edc8d0b