---
title: 'Summary of "Algebra of Programming"'
summary: 'A student summary of the course "Algebra of Programming" that was taught in the winter semester 23/24'
tags:
  - Category Theory
  - Programming Languages
date: '2024-04-05'

# Optional external URL for project (replaces project detail page).
external_link: 'https://git.vatthauer.xyz/CategoryTheory/algprog'

links:
# TODO PDF when finished
  - icon: git-alt
    icon_pack: fab
    name: Repo
    url: https://git.vatthauer.xyz/CategoryTheory/algprog
url_code: ''
url_pdf: ''
url_slides: ''
url_video: ''
---