Frederic Wagner's web page

Frederic Wagner

Mouvement et propriété
November 19, 2021

Mouvement et propriété.

Read More...
Types énumérés et structures
November 19, 2021

Les types énumérés et les structures (~30 minutes).

Read More...
Petite introduction aux traits
November 19, 2021

Les traits: pourquoi faire ? (10 minutes) Présentation de deux traits importants: Ord et Display.

Read More...
Premier Paquet pour nixos
January 28, 2022

Un petit tuto de création de paquet pour nixos…

Read More...
Freedom Trail
April 7, 2022

A very tough problem.

Read More...