tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Link to Coq mini-demo.

Browse source
This commit is contained in:
François Pottier 2017-10-20 12:38:59 +02:00
parent 9db653f644
commit 639d7951fc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -92,7 +92,8 @@ We also show the limits of dependently-typed functional programming.
* Transforming a graph traversal
([solution](ocaml/Graph.ml)).
* (20/10/2017) Equational reasoning and program optimizations
([slides 05](slides/fpottier-05.pdf)).
([slides 05](slides/fpottier-05.pdf))
([Coq mini-demo](coq/DemoEqReasoning.v)).
### Metatheory of Typed Programming Languages