Commit 00251a86 authored by POTTIER Francois's avatar POTTIER Francois

Remove the link to last year's project.

parent bcbcb23a
......@@ -72,10 +72,6 @@ effectful programming with monads and algebraic effects; tagless
interpreters; programming with total functions; generic programming.
We also show the limits of dependently-typed functional programming.
## Project
The programming project assignment is [available](project/2018-2019/sujet.pdf).
## Approximate syllabus
### Functional Programming: Under the Hood
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment