d0ff07998f
Prevent IDs in variables from being trimmed
2018-01-18 16:03:29 +01:00
6619941770
First attempt to implement CPS naively
2018-01-17 17:15:23 +01:00
3b5c4cb996
Keep only project-related files; reroot to project/
2017-12-19 13:35:04 +01:00
a6a49201be
Merge remote-tracking branch 'upstream/master'
2017-12-19 13:34:12 +01:00
8ea0250e67
Initial commit
2017-12-19 13:30:32 +01:00
REMY Didier
6055421bdc
Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public
2017-12-19 09:55:27 +01:00
REMY Didier
407f13862b
Partiel 2017
2017-12-19 09:55:02 +01:00
François Pottier
00ebc63544
Rename projet to project.
2017-12-13 14:10:41 +01:00
François Pottier
36df95f02f
Makefile.
2017-12-13 14:09:19 +01:00
François Pottier
4de6bf8544
README update.
2017-12-13 14:08:29 +01:00
François Pottier
19ff31e4c9
Publish the project.
2017-12-13 14:04:28 +01:00
Yann Regis-Gianas
0ee19236b0
Slides cours YRG-1.
2017-12-13 10:26:29 +01:00
Yann Regis-Gianas
ea28092e57
Update part 3 syllabus.
2017-12-01 09:50:28 +01:00
REMY Didier
61142fa289
12<-1
2017-11-29 16:28:14 +01:00
REMY Didier
20664156ac
Remove pointer to my own page.
2017-11-23 18:06:30 +01:00
REMY Didier
f36225d1f5
Correction de l'ancre pour l'examen de 2010
2017-11-14 16:46:09 +01:00
REMY Didier
ade3a69b24
Removing comment
2017-11-10 08:10:59 +01:00
REMY Didier
8d9111b95e
Removing blank line
2017-11-10 08:04:53 +01:00
REMY Didier
828f05db8b
Change of topic for lesson 4
2017-11-09 22:45:38 +01:00
REMY Didier
a76342ee27
Merge branch 'master' of gitlab.inria.fr:fpottier/mpri-2.4-public
2017-11-09 22:42:13 +01:00
REMY Didier
739d28c3da
Cours 4.
2017-11-09 22:41:47 +01:00
François Pottier
471edc10c5
Fix a couple issues in the slides of amphi 05.
2017-11-07 10:29:12 +01:00
REMY Didier
da4900bdf5
handout
2017-11-01 17:34:39 +01:00
REMY Didier
c8961ac162
Exams, dates and documents allowed.
2017-10-31 10:03:09 +01:00
REMY Didier
0f340ed1fd
lecture 3
2017-10-29 16:50:40 +01:00
REMY Didier
aee8182a5c
Anchor for Lecture 3.
2017-10-29 16:48:50 +01:00
REMY Didier
50b685a8d6
Anchor for lecture 3.
2017-10-29 16:44:50 +01:00
REMY Didier
bacf138196
fixing ).
2017-10-29 16:43:39 +01:00
REMY Didier
1f4d3ff456
Adding anchors lecture 2 of Remy's course
2017-10-29 16:42:23 +01:00
REMY Didier
1abcc4dc85
- Adding anchors for Remy's lecture 2
...
- Adding Makefile to produce README.html from README.md
so that we can see the output in a browser before commiting to gitlab.
requires pandoc installed.
2017-10-29 16:39:41 +01:00
REMY Didier
c24814e9bb
merge
2017-10-27 10:40:08 +02:00
REMY Didier
12d27e9bfd
Slides du cours 2.
2017-10-27 10:38:45 +02:00
François Pottier
054e451133
Fix the statement of rule SR1.
2017-10-20 21:00:49 +02:00
François Pottier
639d7951fc
Link to Coq mini-demo.
2017-10-20 12:38:59 +02:00
François Pottier
9db653f644
Expose today's slides.
2017-10-20 11:28:57 +02:00
François Pottier
aeedf926d4
Add today's slides.
2017-10-20 11:28:18 +02:00
François Pottier
c0c83a490d
Add a demo of equational reasoning in Coq.
2017-10-20 10:36:47 +02:00
François Pottier
8d78692d88
Nested lists.
2017-10-13 09:28:58 +02:00
François Pottier
de8d6fedd9
Add today's slides.
2017-10-13 09:26:06 +02:00
François Pottier
521f29c442
README.
2017-10-12 15:47:05 +02:00
François Pottier
8c50463ec4
New OCaml exercise.
2017-10-12 15:40:11 +02:00
François Pottier
b88b92d33c
Add new OCaml files.
2017-10-11 19:47:20 +02:00
François Pottier
555822838f
Add the Coq formalization of the CPS transformation.
2017-10-11 15:28:20 +02:00
François Pottier
79af3f8d1c
Removed MetaBigStep.v -- a typo in a file name.
2017-10-11 15:27:50 +02:00
François Pottier
63e854b686
Fix another typo in last week's slides.
2017-10-10 17:35:30 +02:00
François Pottier
61209d310e
Fix a typo in today's slides.
2017-10-06 16:20:46 +02:00
François Pottier
318919da17
Link to today's slides.
2017-10-06 12:33:23 +02:00
François Pottier
c61a164474
Today's slides.
2017-10-06 11:22:54 +02:00
François Pottier
083c0c1843
Expose new Coq files.
2017-10-05 17:57:33 +02:00
François Pottier
42ddbb4f1e
Updated last slide.
2017-09-29 23:51:03 +02:00
