23 lines
569 B
Markdown
23 lines
569 B
Markdown
|
---
|
||
|
|
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: ''
|
||
|
|
---
|