Skip to content

Commit

Permalink
Code link
Browse files Browse the repository at this point in the history
  • Loading branch information
@david-christiansen
david-christiansen committed Sep 24, 2024
1 parent b7e8482 commit c43a1d8
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,9 @@ Programmer", a tutorial presented at *Mødegruppen for F#unktionelle
Københavnere* by David Thrane Christiansen on 2024-08-27 and
2024-09-24.

The code from the first presentation is available [in another
repository](https://github.com/david-christiansen/lean-fkbh-24).

## Overview

This tutorial has two parts: an introduction to programming and
Expand Down

0 comments on commit c43a1d8

Please sign in to comment.