Skip to content

Activity

replace broken link to Intuitionistic Type Theory

Pull request merge
steshawpushed 1 commit to main • 2c329e0…4a2f354 • 
on Dec 2, 2024

Add new collection

Pull request merge
steshawpushed 1 commit to main • 6a7028e…2c329e0 • 
on Jul 28, 2023

Add Max Bernstein's pl-resources

steshawpushed 1 commit to main • 330db4d…6a7028e • 
on Jul 26, 2023

Deindent bullet lists

steshawpushed 1 commit to main • 4822f1c…330db4d • 
on Jul 8, 2023

Add Category Theory for Programming

steshawpushed 1 commit to main • 58bf520…4822f1c • 
on Jul 2, 2023

Update broken link

steshawpushed 1 commit to main • 1afa4f7…58bf520 • 
on Jul 2, 2023

Update broken link

steshawpushed 1 commit to main • 9588336…1afa4f7 • 
on Jul 2, 2023

Category Theory book and course

steshawpushed 1 commit to main • 479ccc2…9588336 • 
on Jul 2, 2023

Update Category Theory for Programmers

steshawpushed 1 commit to main • 391d4e6…479ccc2 • 
on Jul 2, 2023

Add Sandy Maguire's article

steshawpushed 1 commit to main • 8227587…391d4e6 • 
on Jul 2, 2023

Better link for Bananas paper

steshawpushed 1 commit to main • c9ebb1b…8227587 • 
on Jul 2, 2023

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

steshawpushed 1 commit to main • 956e31c…c9ebb1b • 
on Jul 2, 2023

Alternative link for Ralf Lämmel's video

steshawpushed 1 commit to main • bc7fc00…956e31c • 
on Jul 2, 2023

Fix up Ed Kmett's articles

steshawpushed 1 commit to main • eb9349c…bc7fc00 • 
on Jul 2, 2023

Fix link to recursion-schemes Haskell package

steshawpushed 1 commit to main • b88ffa2…eb9349c • 
on Jul 2, 2023

Add complete recursion scheme series by Patrick Thomson

steshawpushed 1 commit to main • fec3c71…b88ffa2 • 
on Jul 2, 2023

Fix OPLSS archives link

steshawpushed 1 commit to main • 71be1c8…fec3c71 • 
on Jul 2, 2023

Remove Alex Ott's FP books from tips section

steshawpushed 1 commit to main • f4ad70c…71be1c8 • 
on Jul 2, 2023

Trim whitespace

steshawpushed 1 commit to main • 155d939…f4ad70c • 
on Jul 2, 2023

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

Pull request merge
steshawpushed 2 commits to main • a32818b…155d939 • 
on Jul 2, 2023

Added three links to index.md

Pull request merge
steshawpushed 1 commit to main • 8d2a07e…a32818b • 
on Jul 2, 2023

Provide link to PDF

steshawpushed 1 commit to main • 4a5b22c…8d2a07e • 
on May 18, 2023

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

Pull request merge
steshawpushed 1 commit to main • 9bae7bb…4a5b22c • 
on Apr 3, 2023