#+Title:TODO
#+Author: Yann Esposito
#+ARCHIVE: archives/TODO.archive.org::
#+TODO: TODO(t) IN-PROGRESS(p) HOLD(h@/!) WAITING(w@/!) | DONE(d) CANCELED(c@/!) HANDLED(l@/!)
#+COLUMNS: %TODO %3PRIORITY %40ITEM(Task) %CLOCKSUM %8TAGS(TAG)
#+STARTUP: overview

#+begin_comment
SPC y o c => DISPLAY org columns
#+end_comment
* Perso                                                              :perso:
** Dentiste
** Habits                                                           :habit:
*** TODO journal matin                                             :daily:
SCHEDULED: <2020-09-21 Mon 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 08:03]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 08:03]
- State "DONE"       from "TODO"       [2020-09-15 Tue 10:08]
- State "DONE"       from "TODO"       [2020-09-14 Mon 14:07]
- State "DONE"       from "TODO"       [2020-09-11 Fri 09:08]
- State "DONE"       from "TODO"       [2020-09-10 Thu 09:17]
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 15:25]
- State "DONE"       from "TODO"       [2020-09-04 Fri 10:18]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:46]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:14]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:43]
CLOCK: [2020-08-25 Tue 09:39]--[2020-08-25 Tue 09:43] =>  0:04
- State "DONE"       from "TODO"       [2020-08-24 Mon 10:05]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:22]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:31]
- State "DONE"       from "TODO"       [2020-08-20 Thu 08:23]
- State "CANCELED"   from "TODO"       [2020-08-19 Wed 21:48]
- State "DONE"       from "TODO"       [2020-08-18 Tue 12:06]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:46]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:09]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:40]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:35]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-07-02 Thu 14:18]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:21]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:08]
- State "DONE"       from "TODO"       [2020-06-23 Tue 16:56]
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:25]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:07]
- State "CANCELED"   from "TODO"       [2020-06-16 Tue 22:38] \\
  forgot
- State "DONE"       from "TODO"       [2020-06-15 Mon 14:05]
- State "DONE"       from "TODO"       [2020-06-14 Sun 13:00]
- State "DONE"       from "TODO"       [2020-06-13 Sat 10:20]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:43]
- State "DONE"       from "TODO"       [2020-06-11 Thu 10:22]
- State "DONE"       from "TODO"       [2020-06-10 Wed 13:06]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 09:07]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:42]
- State "DONE"       from "TODO"       [2020-06-03 Wed 22:26]
- State "DONE"       from "TODO"       [2020-06-02 Tue 15:10]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:53]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:19]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:43]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 08:25]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:29]
- State "DONE"       from "TODO"       [2020-05-24 Sun 08:52]
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:11]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-21 Thu 10:42]
- State "DONE"       from "TODO"       [2020-05-20 Wed 12:07]
- State "DONE"       from "TODO"       [2020-05-19 Tue 16:31]
- State "DONE"       from "TODO"       [2020-05-18 Mon 09:34]
- State "DONE"       from "TODO"       [2020-05-17 Sun 11:10]
- State "DONE"       from "TODO"       [2020-05-16 Sat 14:18]
- State "DONE"       from "TODO"       [2020-05-15 Fri 09:00]
- State "DONE"       from "TODO"       [2020-05-14 Thu 10:18]
- State "DONE"       from "TODO"       [2020-05-13 Wed 10:22]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO d-m                                                       :daily:
SCHEDULED: <2020-09-21 Mon 09:30 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:32]
:END:
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 22:32]
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:05]
- State "DONE"       from "TODO"       [2020-09-11 Fri 15:05]
- State "DONE"       from "TODO"       [2020-09-10 Thu 09:17]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 19:06]
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:25]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:44]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:52]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:25]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:26]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:05]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:54]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 22:19]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 20:29]
- State "DONE"       from "TODO"       [2020-06-14 Sun 13:00]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-11 Thu 10:22]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:52]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:55]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:56]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:39]
- State "DONE"       from "TODO"       [2020-06-03 Wed 19:47]
- State "DONE"       from "TODO"       [2020-06-02 Tue 15:11]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:52]
- State "DONE"       from "TODO"       [2020-05-30 Sat 14:22]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:36]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:47]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:47]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:49]
- State "DONE"       from "TODO"       [2020-05-24 Sun 13:56]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-21 Thu 10:42]
- State "DONE"       from "TODO"       [2020-05-20 Wed 20:28]
- State "DONE"       from "TODO"       [2020-05-19 Tue 13:26]
- State "DONE"       from "TODO"       [2020-05-18 Mon 09:33]
- State "DONE"       from "TODO"       [2020-05-17 Sun 17:17]
- State "DONE"       from "TODO"       [2020-05-16 Sat 23:58]
- State "DONE"       from "TODO"       [2020-05-15 Fri 12:07]
- State "DONE"       from "TODO"       [2020-05-14 Thu 10:47]
- State "DONE"       from "TODO"       [2020-05-13 Wed 10:31]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO d-s                                                       :daily:evening:
SCHEDULED: <2020-09-21 Mon 21:30 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:31]
:END:
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
- State "DONE"       from "TODO"       [2020-08-10 Mon 21:19]
- State "DONE"       from "TODO"       [2020-06-10 Wed 22:07]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:31]
- State "DONE"       from "TODO"       [2020-08-19 Wed 21:44]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-07-02 Thu 22:16]
- State "DONE"       from "TODO"       [2020-06-23 Tue 22:48]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 22:20]
- State "DONE"       from "TODO"       [2020-06-17 Wed 23:03]
- State "DONE"       from "TODO"       [2020-06-16 Tue 22:22]
- State "DONE"       from "TODO"       [2020-06-15 Mon 21:32]
- State "DONE"       from "TODO"       [2020-06-14 Sun 23:59]
- State "DONE"       from "TODO"       [2020-06-12 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-09 Tue 22:22]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:37]
- State "DONE"       from "TODO"       [2020-06-06 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-05 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-04 Thu 23:05]
- State "DONE"       from "TODO"       [2020-06-03 Wed 22:27]
- State "DONE"       from "TODO"       [2020-06-02 Tue 22:11]
- State "DONE"       from "TODO"       [2020-06-01 Mon 22:23]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:52]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 21:47]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:16]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-22 Fri 09:00]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:04]
- State "DONE"       from "TODO"       [2020-05-18 Mon 20:52]
- State "DONE"       from "TODO"       [2020-05-17 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-16 Sat 00:15]
- State "DONE"       from "TODO"       [2020-05-13 Wed 21:18]
:END:
*** TODO journal soir                                              :daily:evening:
SCHEDULED: <2020-09-21 Mon 22:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:31]
:END:
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:31]
- State "DONE"       from "TODO"       [2020-08-19 Wed 21:48]
- State "DONE"       from "TODO"       [2020-07-07 Tue 23:41]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-17 Wed 23:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 22:38]
- State "DONE"       from "TODO"       [2020-06-12 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-09 Tue 22:23]
- State "DONE"       from "TODO"       [2020-06-07 Sun 23:39]
- State "DONE"       from "TODO"       [2020-06-04 Thu 23:07]
- State "DONE"       from "TODO"       [2020-06-02 Tue 23:57]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:39]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:27]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:39]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:39]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:57]
- State "DONE"       from "TODO"       [2020-05-23 Sat 08:45]
- State "DONE"       from "TODO"       [2020-05-22 Fri 21:44]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:48]
- State "DONE"       from "TODO"       [2020-05-17 Sun 23:59]
- State "DONE"       from "TODO"       [2020-05-16 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-15 Fri 23:59]
- State "DONE"       from "TODO"       [2020-05-13 Wed 23:57]
- State "DONE"       from "TODO"       [2020-05-12 Tue 23:28]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:37]
:END:
*** TODO org-fc-review =SPC y f r=                                 :daily:
SCHEDULED: <2020-09-21 Mon 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 11:14]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 11:14]
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:04]
- State "DONE"       from "TODO"       [2020-09-17 Thu 12:16]
- State "DONE"       from "TODO"       [2020-09-15 Tue 10:08]
- State "DONE"       from "TODO"       [2020-09-14 Mon 14:07]
- State "DONE"       from "TODO"       [2020-09-11 Fri 09:08]
- State "DONE"       from "TODO"       [2020-09-10 Thu 09:36]
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-04 Fri 10:20]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-25 Tue 01:18]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:08]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:43]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:18]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:25]
- State "DONE"       from "TODO"       [2020-08-20 Thu 08:21]
- State "DONE"       from "TODO"       [2020-08-19 Wed 11:00]
- State "DONE"       from "TODO"       [2020-08-18 Tue 12:06]
- State "DONE"       from "TODO"       [2020-08-17 Mon 10:16]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-08-12 Wed 09:32]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:53]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:08]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:39]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 14:49]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:44]
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:28]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:21]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:08]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 23:59]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:29]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:31]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:28]
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:22]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:41]
- State "DONE"       from "TODO"       [2020-06-11 Thu 23:44]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:58]
- State "DONE"       from "TODO"       [2020-06-09 Tue 20:00]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:56]
- State "DONE"       from "TODO"       [2020-06-07 Sun 11:14]
- State "DONE"       from "TODO"       [2020-06-06 Sat 10:48]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:57]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:42]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:12]
- State "DONE"       from "TODO"       [2020-06-02 Tue 21:30]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:06]
- State "DONE"       from "TODO"       [2020-05-31 Sun 12:00]
- State "DONE"       from "TODO"       [2020-05-30 Sat 23:59]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 23:29]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:33]
- State "DONE"       from "TODO"       [2020-05-26 Tue 23:17]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:50]
- State "DONE"       from "TODO"       [2020-05-24 Sun 15:09]
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:38]
:END:
*** TODO weight                                                    :daily:
SCHEDULED: <2020-09-21 Mon 09:00 .+1d/3d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 11:14]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 11:14]
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:05]
- State "CANCELED"   from "TODO"       [2020-09-15 Tue 10:08]
- State "CANCELED"   from "TODO"       [2020-09-14 Mon 14:08]
- State "CANCELED"   from "TODO"       [2020-09-11 Fri 15:05]
- State "CANCELED"   from "TODO"       [2020-09-10 Thu 09:17]
- State "CANCELED"   from "TODO"       [2020-09-07 Mon 15:26]
- State "DONE"       from "TODO"       [2020-09-05 Sat 10:10]
- State "CANCELED"   from "TODO"       [2020-09-03 Thu 14:31]
- State "CANCELED"   from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "CANCELED"   from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:15]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:25]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:44]
- State "CANCELED"   from "TODO"       [2020-08-22 Sat 13:51]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:45]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "CANCELED"   from "TODO"       [2020-08-18 Tue 12:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:20]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:43]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "CANCELED"   from "TODO"       [2020-06-27 Sat 14:19] \\
  martigues
- State "DONE"       from "TODO"       [2020-06-25 Thu 15:15]
- State "CANCELED"   from "TODO"       [2020-06-24 Wed 18:05] \\
  forgot
- State "DONE"       from "TODO"       [2020-06-23 Tue 16:57]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:54]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "DONE"       from "TODO"       [2020-06-18 Thu 11:12]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:27]
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:15]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-11 Thu 09:56]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:50]
- State "CANCELED"   from "TODO"       [2020-06-09 Tue 19:58]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:55]
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 11:14]
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:47] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:56]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:39]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:23]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:05]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:46]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:31]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:47]
- State "DONE"       from "TODO"       [2020-05-27 Wed 09:32]
- State "DONE"       from "TODO"       [2020-05-26 Tue 10:00]
- State "DONE"       from "TODO"       [2020-05-25 Mon 21:49]
- State "DONE"       from "TODO"       [2020-05-24 Sun 10:28]
- State "CANCELED"   from "TODO"       [2020-05-23 Sat 23:59] \\
  not today
:END:

#+NAME: body-data
| Date             | Weight | Graph   |
|------------------+--------+---------|
| [2020-05-23 Sat] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-24 Sun] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-25 Mon] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-26 Tue] |     71 | ▉▉▉▉▉▉▌ |
| [2020-05-27 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-05-27 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-05-30 Sat] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-01 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-05-31 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-01 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-06-02 Tue] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-03 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-04 Thu] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-05 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-06-08 Mon] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-10 Wed] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-11 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-12 Fri] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-06-13 Sat] |     71 | ▉▉▉▉▉▉▌ |
| [2020-06-14 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-15 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-06-16 Tue] |     70 | ▉▉▉▉▉▉  |
| [2020-06-17 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-06-18 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-19 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-06-20 Sat] |     70 | ▉▉▉▉▉▉  |
| [2020-06-21 Sun] |     70 | ▉▉▉▉▉▉  |
| [2020-06-22 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-06-23 Tue] |     70 | ▉▉▉▉▉▉  |
| [2020-06-25 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-06-29 Mon] |     70 | ▉▉▉▉▉▉  |
| [2020-07-02 Thu] |     70 | ▉▉▉▉▉▉  |
| [2020-07-07 Tue] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-07-09 Thu] |   70.5 | ▉▉▉▉▉▉▎ |
| [2020-08-10 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-11 Tue] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-17 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-19 Wed] |     70 | ▉▉▉▉▉▉  |
| [2020-08-20 Thu] |     69 | ▉▉▉▉▉▍  |
| [2020-08-21 Fri] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-24 Mon] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-25 Tue] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-27 Thu] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-30 Sun] |   69.5 | ▉▉▉▉▉▋  |
| [2020-08-31 Mon] |     69 | ▉▉▉▉▉▍  |
| [2020-09-04 Fri] |     70 | ▉▉▉▉▉▉  |
| [2020-09-05 Sat] |     70 | ▉▉▉▉▉▉  |
| [2020-09-19 Sat] |     70 | ▉▉▉▉▉▉  |
#+TBLFM: $3='(orgtbl-uc-draw-grid $2 60 80)
*** TODO floss                                                     :evening:
SCHEDULED: <2020-09-21 Mon 21:30 .+1d/3d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:31]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 22:31]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "CANCELED"   from "TODO"       [2020-06-05 Fri 23:59] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:12]
- State "DONE"       from "TODO"       [2020-06-02 Tue 23:56]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:31]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:35]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:50]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-21 Thu 22:49]
- State "DONE"       from "TODO"       [2020-05-12 Tue 09:45]
:END:
*** TODO Pass time to write the text of some blog post/essay       :blog:
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:30]
- State "DONE"       from "TODO"       [2020-06-14 Sun 23:59]
:END:
[2020-06-13 Sat 14:26]
** Médicaments                                                      :health:
** TODO Check [[file:inbox.org::*Maybe][Maybe]] TODO list (SPC y o s :maybe:)
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:LAST_REPEAT: [2020-09-20 Sun 10:51]
:END:
:LOGBOOK:
- State "DONE"       from "WAITING"    [2020-09-20 Sun 10:51]
- State "DONE"       from "TODO"       [2020-09-11 Fri 15:06]
- State "DONE"       from "TODO"       [2020-09-01 Tue 19:07]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:24]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:53]
:END:
[2020-06-13 Sat 12:47]
** TODO Check Reading List (bonus write note)
SCHEDULED: <2020-09-10 Thu .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-03 Thu 14:32]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-19 Wed 22:12]
:END:
** IN-PROGRESS Chercher un mantra positif (pas meditatif)           :maybe:
SCHEDULED: <2020-08-25 Tue 21:30>
:LOGBOOK:
CLOCK: [2020-08-27 Thu 10:39]--[2020-08-27 Thu 10:56] =>  0:17
:END:
[2020-08-14 Fri 14:12]

#+begin_quote
Le plaisir se ramasse,
la joie se cueille,
le bonheur se cultive.

 -- Bouddha
#+end_quote

#+begin_quote
Je suis la personne qui décide de tout ce que je fais et j'ai toujours le
choix.
#+end_quote

#+begin_quote
Life is 10% what happens to me and 90% how I react to it.
 -- Charles Swindoll
#+end_quote

#+begin_quote
To handle yourself, use your head; to handle others, use your heart.
 -- Eleanor Roosevelt
#+end_quote

#+begin_quote
Too many of us are not living our dreams because we are living our fears.
 -- Les Brown
#+end_quote

#+begin_quote
Strive not to be a success, but rather to be of value.
 -- Albert Einstein
#+end_quote

#+begin_quote
The most common way people give up their power is by thinking they don’t
have any.
 -- Alice Walker
#+end_quote

#+begin_quote
Remember that not getting what you want is sometimes a wonderful stroke of
luck.
 -- Dalai Lama
#+end_quote

#+begin_quote
I have been impressed with the urgency of doing.
Knowing is not enough; we must apply.
Being willing is not enough; we must do.
 -- Leonardo da Vinci
#+end_quote
*** TODO Ecrire une quote aléatoire parmi différents mantra dans org-journal
** TODO English Teacher at italki.com
SCHEDULED: <2020-10-01 Thu>
[2020-08-21 Fri 10:56]
** DONE [#B] Envoyer les factures au CE
SCHEDULED: <2020-09-01 Tue 11:00>
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:16] \\
  Krystelle envoie les lettres.
:END:
[2020-09-01 Tue 10:18]
ref :: https://intranet.cse-cisco.com/user/cse-faq/5/questions

Envoyer par courrier au CSE:

Cisco Systems, CSE
1, rue Camille Desmoulins
92782 Issy les Moulineaux
Cedex 9
*** Lettre CSE

Bonjour,

Voici les originaux des factures des hôtels où je suis allé cet été.
J'aurai aimé pouvoir bénéficier du PME.

Bonne journée,

Yann.

yaesposi@cisco.com
** DONE déclaration roue creuvée décathlon
DEADLINE: <2020-09-23 Wed>
[2020-09-20 Sun 23:12]
ref ::
** TODO réparer roue vélo
DEADLINE: <2020-09-24 Thu>
[2020-09-20 Sun 23:13]
ref ::
** TODO mbsync pour fastmail
SCHEDULED: <2020-09-21 Mon>
[2020-09-20 Sun 23:14]
ref ::
* Famille                                                            :family:
** TODO Certificat Ophtalmo en Anglais Bastien                      :bastien:
DEADLINE: <2020-12-10 Thu>
[2020-05-23 Sat 10:28]
** Daily                                                            :daily:
*** TODO lit + aerer
SCHEDULED: <2020-09-21 Mon 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 11:14]
:END:
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-20 Sun 11:14]
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:05]
- State "HANDLED"    from "TODO"       [2020-09-17 Thu 11:06]
- State "CANCELED"   from "TODO"       [2020-09-15 Tue 10:08]
- State "HANDLED"    from "TODO"       [2020-09-14 Mon 14:07]
- State "HANDLED"    from "TODO"       [2020-09-11 Fri 15:05]
- State "HANDLED"    from "TODO"       [2020-09-10 Thu 09:17]
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "DONE"       from "TODO"       [2020-09-05 Sat 10:09]
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:20] \\
  K
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 09:28]
- State "DONE"       from "TODO"       [2020-08-15 Sat 11:02]
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
- State "DONE"       from "TODO"       [2020-06-11 Thu 08:48]
- State "HANDLED"    from "TODO"       [2020-08-27 Thu 10:15] \\
  K
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:42]
- State "DONE"       from "TODO"       [2020-08-25 Tue 09:24]
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:43]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:26]
- State "DONE"       from "TODO"       [2020-08-20 Thu 09:52]
- State "DONE"       from "TODO"       [2020-08-19 Wed 10:46]
- State "DONE"       from "TODO"       [2020-08-18 Tue 21:21]
- State "HANDLED"    from "TODO"       [2020-08-17 Mon 11:34] \\
  K
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:24]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:37] \\
  K
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:24]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-06-30 Tue 11:26]
- State "CANCELED"   from "TODO"       [2020-06-29 Mon 13:42] \\
  K
- State "DONE"       from "TODO"       [2020-06-28 Sun 22:26]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "HANDLED"    from "TODO"       [2020-06-24 Wed 18:05] \\
  K
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:53]
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "HANDLED"    from "TODO"       [2020-06-18 Thu 15:25] \\
  K
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "HANDLED"    from "TODO"       [2020-06-16 Tue 10:30] \\
  Krystelle
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 14:05] \\
  Krystelle
- State "DONE"       from "TODO"       [2020-06-14 Sun 10:15]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:31]
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:49]
- State "DONE"       from "TODO"       [2020-06-09 Tue 19:58]
- State "HANDLED"    from "TODO"       [2020-06-08 Mon 10:54] \\
  K
- State "CANCELED"  from "TODO"       [2020-06-07 Sun 09:48]
- State "DONE"       from "TODO"       [2020-06-06 Sat 10:47]
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:55]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:38]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:18]
- State "DONE"       from "TODO"       [2020-06-01 Mon 12:20]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:40]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:19]
- State "CANCELED"   from "TODO"       [2020-05-29 Fri 10:36] \\
  fait par Krystelle
- State "CANCELED"   from "TODO"       [2020-05-28 Thu 09:46] \\
  fait par Krystelle
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 09:59]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:29]
:END:
[2020-05-23 Sat 10:08]
*** TODO Sortir Oslo matin
SCHEDULED: <2020-09-21 Mon 09:00 .+1d>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 11:14]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 11:14]
- State "HANDLED"    from "TODO"       [2020-09-19 Sat 11:05]
- State "DONE"       from "TODO"       [2020-09-17 Thu 11:06]
- State "HANDLED"    from "TODO"       [2020-09-15 Tue 10:08]
- State "HANDLED"    from "TODO"       [2020-09-14 Mon 14:08]
- State "HANDLED"    from "TODO"       [2020-09-11 Fri 09:08]
- State "DONE"       from "TODO"       [2020-09-10 Thu 09:17]
- State "DONE"       from "TODO"       [2020-09-08 Tue 11:19]
- State "DONE"       from "TODO"       [2020-09-07 Mon 12:14]
- State "HANDLED"    from "TODO"       [2020-09-05 Sat 10:09] \\
  K
- State "HANDLED"    from "TODO"       [2020-09-04 Fri 10:20] \\
  K
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:31]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:06]
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
- State "HANDLED"    from "TODO"       [2020-08-15 Sat 11:04]
- State "DONE"       from "TODO"       [2020-08-30 Sun 11:45]
- State "DONE"       from "TODO"       [2020-08-29 Sat 11:49]
- State "DONE"       from "TODO"       [2020-08-27 Thu 10:14]
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "HANDLED"    from "TODO"       [2020-08-25 Tue 09:24] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-22 Sat 13:51] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-21 Fri 15:26] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-20 Thu 09:44] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-19 Wed 10:46] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-18 Tue 12:06] \\
  K
- State "DONE"       from "TODO"       [2020-08-17 Mon 11:34]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "DONE"       from "TODO"       [2020-08-12 Wed 09:32]
- State "DONE"       from "TODO"       [2020-08-11 Tue 12:53]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:47]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:46]
- State "DONE"       from "TODO"       [2020-07-09 Thu 10:07]
- State "DONE"       from "TODO"       [2020-07-08 Wed 10:38]
- State "DONE"       from "TODO"       [2020-06-20 Sat 12:25]
- State "DONE"       from "TODO"       [2020-06-11 Thu 08:48]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:38]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:19]
- State "DONE"       from "TODO"       [2020-07-04 Sat 09:24]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:46]
- State "DONE"       from "TODO"       [2020-07-02 Thu 10:41]
- State "DONE"       from "TODO"       [2020-06-30 Tue 11:26]
- State "DONE"       from "TODO"       [2020-06-29 Mon 23:44]
- State "DONE"       from "TODO"       [2020-06-29 Mon 13:42]
- State "CANCELED"   from "TODO"       [2020-06-28 Sun 22:26] \\
  Martigues
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:19]
- State "DONE"       from "TODO"       [2020-06-25 Thu 15:15]
- State "DONE"       from "TODO"       [2020-06-24 Wed 18:05]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "DONE"       from "TODO"       [2020-06-22 Mon 09:42]
- State "HANDLED"    from "TODO"       [2020-06-21 Sun 15:53] \\
  K
- State "DONE"       from "TODO"       [2020-06-19 Fri 10:50]
- State "DONE"       from "TODO"       [2020-06-18 Thu 11:11]
- State "DONE"       from "TODO"       [2020-06-17 Wed 09:04]
- State "DONE"       from "TODO"       [2020-06-16 Tue 10:31]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:27]
- State "HANDLED"    from "TODO"       [2020-06-14 Sun 10:14] \\
  Bastien
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:31]
CLOCK: [2020-06-13 Sat 08:58]--[2020-06-13 Sat 09:18] =>  0:20
- State "DONE"       from "TODO"       [2020-06-12 Fri 08:37]
- State "DONE"       from "TODO"       [2020-06-08 Mon 10:54]
- State "CANCELED"  from "TODO"       [2020-06-07 Sun 09:48]
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:47] \\
  week-end Martigues
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:55]
- State "DONE"       from "TODO"       [2020-06-04 Thu 10:38]
- State "DONE"       from "TODO"       [2020-06-03 Wed 10:11]
- State "DONE"       from "TODO"       [2020-06-02 Tue 11:18]
- State "DONE"       from "TODO"       [2020-06-01 Mon 12:20]
- State "DONE"       from "TODO"       [2020-05-31 Sun 11:40]
- State "DONE"       from "TODO"       [2020-05-30 Sat 10:31]
- State "DONE"       from "TODO"       [2020-05-29 Fri 10:36]
- State "DONE"       from "TODO"       [2020-05-28 Thu 09:46]
- State "DONE"       from "TODO"       [2020-05-27 Wed 20:31]
- State "DONE"       from "TODO"       [2020-05-26 Tue 09:59]
- State "DONE"       from "TODO"       [2020-05-25 Mon 10:20]
- State "CANCELED"   from "TODO"       [2020-05-24 Sun 08:58] \\
  Bastien amène le chien avec Marie.
- State "DONE"       from "TODO"       [2020-05-23 Sat 09:34]
- State "DONE"       from "TODO"       [2020-06-10 Wed 10:49]
- State "DONE"       from "TODO"       [2020-06-09 Tue 12:38]
CLOCK: [2020-05-23 Sat 09:23]--[2020-05-23 Sat 09:33] => 00:10
:END:
[2020-05-23 Sat 09:22]
** Weekly                                                           :weekly:
*** TODO litieres
DEADLINE: <2020-09-25 Fri .+2w -1d>
:PROPERTIES:
:LAST_REPEAT: [2020-09-11 Fri 09:07]
:STYLE:    habit
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-11 Fri 09:07]
- State "DONE"       from "TODO"       [2020-06-08 Mon 23:00]
- State "DONE"       from "TODO"       [2020-05-19 Tue 22:04]
- State "DONE"       from "TODO"       [2020-08-22 Sat 09:18]
- State "DONE"       from "TODO"       [2020-06-21 Sun 16:00]
- State "CANCELED"   from "TODO"       [2020-06-15 Mon 10:28] \\
  Done not so long ago
:END:
*** TODO check poubelle
SCHEDULED: <2020-09-26 Sat .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-19 Sat 11:05]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:05]
- State "DONE"       from "TODO"       [2020-09-10 Thu 09:36]
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-04 Sat 23:07]
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:22]
- State "DONE"       from "TODO"       [2020-06-20 Sat 23:59]
- State "DONE"       from "TODO"       [2020-06-13 Sat 09:32]
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  Week-end Martigues
- State "DONE"       from "TODO"       [2020-05-30 Sat 14:22]
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:12]
*** TODO changer les draps
SCHEDULED: <2020-09-26 Sat .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-19 Sat 11:05]
:END:
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-19 Sat 11:05]
- State "CANCELED"   from "TODO"       [2020-09-03 Thu 14:32]
- State "HANDLED"    from "TODO"       [2020-08-26 Wed 17:42] \\
  K
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:53]
- State "DONE"       from "TODO"       [2020-06-23 Tue 11:04]
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 10:28] \\
  Krystelle
:END:
- State "CANCELED"   from "TODO"       [2020-06-07 Sun 11:14] \\
  week-end Martigues
- State "CANCELED"   from "TODO"       [2020-05-31 Sun 11:47] \\
  Fait par K hier
[2020-05-23 Sat 10:13]
*** TODO vider petites poubelles
SCHEDULED: <2020-09-26 Sat .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-19 Sat 11:05]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-19 Sat 11:05]
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:32]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:25]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "DONE"       from "TODO"       [2020-06-27 Sat 14:20]
- State "DONE"       from "TODO"       [2020-06-10 Wed 21:54]
:END:
- State "HANDLED"    from "TODO"       [2020-05-31 Sun 23:53] \\
  deja vides
[2020-05-23 Sat 10:14]
*** TODO recyclage
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 22:30]
- State "DONE"       from "TODO"       [2020-08-26 Wed 17:43]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-06-18 Thu 15:29]
- State "DONE"       from "TODO"       [2020-06-10 Wed 12:50]
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
:END:
[2020-05-23 Sat 10:14]
*** TODO bouteilles
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 22:30]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "HANDLED"    from "TODO"       [2020-06-10 Wed 21:54] \\
  Krystelle
- State "DONE"       from "TODO"       [2020-06-10 Wed 21:54]
:END:
- State "DONE"       from "TODO"       [2020-05-31 Sun 23:59]
[2020-05-23 Sat 10:14]
*** TODO serpillière <15m
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
- State "DONE"       from "TODO"       [2020-08-15 Sat 11:03]
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-20 Sun 22:30]
- State "HANDLED"    from "TODO"       [2020-09-11 Fri 15:06]
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:06] \\
  K
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:35] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-13 Sat 14:13] \\
  Krystelle
:END:
- State "HANDLED"    from "HOLD"       [2020-06-01 Mon 22:24] \\
  Anna
- State "CANCELED"   from "TODO"       [2020-05-25 Mon 21:50] \\
  not today
[2020-05-23 Sat 10:15]
*** TODO papiers/buffers 10min
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:32]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:32]
- State "DONE"       from "TODO"       [2020-09-11 Fri 15:06]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-19 Wed 22:12]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 18:39] \\
  Krystelle
:END:
- State "DONE"       from "TODO"       [2020-06-08 Mon 20:12]
- State "DONE"       from "TODO"       [2020-06-01 Mon 16:06]
[2020-05-23 Sat 10:19]
*** TODO faire les menus
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:32]
:END:
:LOGBOOK:
- State "CANCELED"   from "TODO"       [2020-09-20 Sun 22:32]
- State "CANCELED"   from "TODO"       [2020-09-11 Fri 15:06]
- State "DONE"       from "TODO"       [2020-09-03 Thu 14:32]
- State "DONE"       from "TODO"       [2020-08-21 Fri 15:32]
- State "DONE"       from "TODO"       [2020-08-14 Fri 11:26]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "DONE"       from "TODO"       [2020-06-21 Sun 16:00]
- State "HANDLED"    from "HOLD"       [2020-06-13 Sat 14:13] \\
  Krystelle avec les enfants.
:END:
- State "HOLD"       from "TODO"       [2020-06-05 Fri 10:57] \\
  On a encore ce qu'il faut. On va à Martigues.
- State "DONE"       from "WAITING"    [2020-05-29 Fri 14:46]
- State "WAITING"    from "TODO"       [2020-05-25 Mon 21:52] \\
  maybe tomorrow
[2020-05-23 Sat 10:21]
*** TODO faire les courses
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:32]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:32]
- State "CANCELED"   from "TODO"       [2020-09-11 Fri 15:06]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:17]
- State "DONE"       from "TODO"       [2020-08-10 Mon 14:54]
- State "DONE"       from "TODO"       [2020-07-03 Fri 10:37]
- State "DONE"       from "TODO"       [2020-06-21 Sun 15:59]
- State "HANDLED"    from "TODO"       [2020-06-13 Sat 09:33] \\
  en partie
:END:
- State "DONE"       from "TODO"       [2020-06-05 Fri 10:57]
- State "DONE"       from "TODO"       [2020-05-29 Fri 23:01]
[2020-05-23 Sat 10:22]
*** TODO nettoyer frigo - 5m
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 09:00]
:LOGBOOK:
- State "HANDLED"    from "TODO"       [2020-09-20 Sun 22:30]
- State "HANDLED"    from "TODO"       [2020-09-11 Fri 15:06]
- State "HANDLED"    from "TODO"       [2020-09-01 Tue 10:07]
- State "HANDLED"    from "TODO"       [2020-08-17 Mon 12:17] \\
  K
- State "HANDLED"    from "TODO"       [2020-08-10 Mon 14:54]
- State "HANDLED"    from "TODO"       [2020-07-07 Tue 10:36] \\
  K
- State "HANDLED"    from "TODO"       [2020-06-15 Mon 10:28] \\
  Krystelle
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  Week-end Martigues
- State "CANCELED"   from "TODO"       [2020-05-30 Sat 23:59] \\
  K
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:23]
*** TODO bricolage - si besoin
SCHEDULED: <2020-09-27 Sun .+1w>
:PROPERTIES:
:STYLE:    habit
:LAST_REPEAT: [2020-09-20 Sun 22:30]
:END:
- State "DONE"       from "TODO"       [2020-08-24 Mon 08:57]
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-20 Sun 22:30]
- State "CANCELED"   from "TODO"       [2020-09-11 Fri 15:06]
- State "DONE"       from "TODO"       [2020-09-01 Tue 10:07]
- State "DONE"       from "TODO"       [2020-08-17 Mon 12:18]
- State "DONE"       from "TODO"       [2020-07-07 Tue 10:19]
- State "CANCELED"   from "TODO"       [2020-06-29 Mon 13:44] \\
  Week-end Martigues
- State "DONE"       from "TODO"       [2020-06-22 Mon 10:07]
- State "DONE"       from "TODO"       [2020-06-15 Mon 10:28]
:END:
- State "CANCELED"   from "TODO"       [2020-06-06 Sat 10:48] \\
  | position | ease | box | interval | due                  |
  |----------+------+-----+----------+----------------------|
  | front    | 2.50 |   1 |     0.01 | 2020-06-05T09:11:17Z |
- State "CANCELED"   from "TODO"       [2020-05-30 Sat 23:59] \\
  pas besoin
- State "DONE"       from "TODO"       [2020-05-23 Sat 23:59]
[2020-05-23 Sat 10:24]
** Yearly                                                           :yearly:
*** TODO [#A] revision chaudiere
DEADLINE: <2021-02-15 Mon +1y -2w>
[2020-05-23 Sat 10:26]
*** TODO vaccination leichmaniose Oslo
DEADLINE: <2021-01-20 Wed +1y>
[2020-05-23 Sat 10:27]
*** TODO Nettoyage barbecue
SCHEDULED: <2020-10-15 Thu +1y>
[2020-05-23 Sat 10:32]
*** TODO [#A] Cadeau Rencontre Krystelle (1995)                    :yearly:
DEADLINE: <2021-04-08 Sun +1y -2w>
*** TODO [#A] Cadeau Mariage Krystelle (2000)                      :yearly:
DEADLINE: <2021-08-12 Thu +1y -2w>
:PROPERTIES:
:LAST_REPEAT: [2020-08-10 Mon 12:19]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-08-10 Mon 12:19]
:END:
*** TODO [#A] Cadeau Anniversaire Krystelle                        :yearly:
DEADLINE: <2021-04-26 Sun +1y -2w>
*** Fête des mères
**** [2020-06-07 Sun]
**** [2021-05-30 Sun]
***** TODO [#A] Acheter cadeau fête des mères Krystelle          :krystelle:
DEADLINE: <2021-05-30 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2021-05-30 Sun -2w>
**** [2022-06-07 Tue]
***** TODO [#A] Acheter cadeau fête des mères Krystelle          :krystelle:
DEADLINE: <2022-05-29 Sun -2w>
***** TODO [#A] Acheter cadeau fête des mères Maman
DEADLINE: <2022-05-30 Mon -2w>
* Work                                                               :work:
** TODO Create new Week 09:00
SCHEDULED: <2020-09-28 Mon ++1w>
:PROPERTIES:
:LAST_REPEAT: [2020-09-21 Mon 09:35]
:END:
:LOGBOOK:
- State "DONE"       from "TODO"       [2020-09-21 Mon 09:35]
CLOCK: [2020-09-21 Mon 09:32]--[2020-09-21 Mon 09:35] =>  0:03
:END:
#+BEGIN_SRC elisp
(format-time-string "%Y-W%U" (current-time))
#+END_SRC
** DONE Move TODAY in [[file:tracker.org][tracker.org]] 09:00
<%%(memq (calendar-day-of-week date) '(1 2 3 4 5))>
[2020-09-20 Sun 22:33]
* Maybe                                                              :maybe:
** IN-PROGRESS Write long letter(s) [1/8]
SCHEDULED: <2020-09-21 Mon>
[2020-07-12 Sun 19:40]
source :: https://news.ycombinator.com/item?id=23812288
*** TODO Long Letter to George Varouchas
*** TODO Long Letter to Vincent Vanekere
*** TODO Long Letter to Sarah Zennou
*** TODO Long Letter to Bruno Chapelle
*** TODO Long Letter to Vincent Bernardi
*** DONE Long Letter to Alexandre Delanoë
CLOSED: [2020-08-30 Sun 11:52]
*** TODO Maybe to colleagues
*** TODO Maybe to some interresting people on the Internet
** TODO Jouer à trinity [2020-06-13 Sat 12:45]

- source :: https://en.wikipedia.org/wiki/Trinity_(video_game)
** TODO A List of Foundational Haskell Papers
:PROPERTIES:
:CUSTOM_ID: a-list-of-foundational-haskell-papers
:END:
- source :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
*** History [0/1]
:PROPERTIES:
:CUSTOM_ID: history
:END:

- [ ] [[https://www.iro.umontreal.ca/~monnier/2035/history.pdf][A History of Haskell: being lazy with class]]
*** The Beginning: The Eugenio Moggi Papers [0/4]
:PROPERTIES:
     :CUSTOM_ID: the-beginning-the-eugenio-moggi-papers
     :END:

- [ ] [[https://core.ac.uk/download/pdf/21173011.pdf][Notions of Computations over Monads]]
- [ ] [[https://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf][Computational Lambda Calculus and Monads]]
- [ ] [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf][Monads for functional programming]]
- [ ] [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.9361&rep=rep1&type=pdf][The essence of functional programming]]
*** Propositions as Types [0/1]
:PROPERTIES:
:CUSTOM_ID: propositions-as-types
:END:

- [ ] [[https://pdfs.semanticscholar.org/1dc4/2af9a52032fcee178865a6be7ac2f46c9ff4.pdf][Propositions as Types]]
*** Haskell Semantics and Design Spaces [0/13]
:PROPERTIES:
     :CUSTOM_ID: haskell-semantics-and-design-spaces
     :END:

- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf][Semantics]] - [[https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf][How to make ad hoc polymorphism less ad hoc]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/04/classhask.pdf][Type Classes]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/multi.pdf][An Exploration of the Design space of Type Classes]]
- [ ] [[http://dreixel.net/research/pdf/gdmh.pdf][A Generic Deriving Mechanism for Haskell]]
- [ ] [[http://edsko.net/pubs/TrueSumsOfProducts.pdf][True Sums of Products]]
- [ ] [[https://www.cs.tufts.edu/comp/150FP/archive/mark-jones/fundeps.pdf][Functional Dependencies]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fhigher-rank%2Fputting.pdf][Rank-n Types]]
- [ ] [[https://web.cecs.pdx.edu/~mpj/thih/thih.pdf][Typing Haskell in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2F%7Esimonpj%2Fpapers%2Fassoc-types%2Ffun-with-type-funs%2Ftypefun.pdf][Type Families]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf][Type Families pt. 2]]
- [ ] [[https://ecommons.cornell.edu/bitstream/handle/1813/5614/TR2003-1901.pdf?sequence=1][GADTs]] - [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/first_class_modules.pdf][First Class Modules in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf][Kind Promotion]]
- [ ] [[https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf][Kleisli Arrows of Outrageous Fortune]]
*** Under the Hood (Where the sausage is made) [0/7]
:PROPERTIES:
:CUSTOM_ID: under-the-hood-where-the-sausage-is-made
:END:

- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1996/05/float.pdf][Let-floating]]
- [ ] [[https://simonmar.github.io/bib/papers/parallel-gc.pdf][Parallel Garbage Collection]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fmarktoberdorf%2Fmark.pdf][Tackling the Awkward Squad]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1994/06/lazy-functional-state-threads.pdf][Lazy State Threads]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf][General State]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf][The Spineless Tagless G-machine]]
- [ ] [[http://fun.cs.tufts.edu/stream-fusion.pdf][Stream Fusion. From Lists to Streams to Nothing at All]]
*** Type Systems and Lambda Calculi [0/7]
:PROPERTIES:
:CUSTOM_ID: type-systems-and-lambda-calculi
:END:

- [ ] [[http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf][Lambda Calculus with Types]]
- [ ] [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.1889&rep=rep1&type=pdf][The Call by Need Lambda Calculus]]
- [ ] [[https://www.cs.ox.ac.uk/files/293/lazy.pdf][The Lazy Lambda Calculus]]
- [ ] [[http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf][Hindley-Milner Systems]]
- [ ] [[http://soft.vub.ac.be/~cfscholl/Capita-Selecta-2015/papers/2002%20Heeren.pdf][Generalized Hindley-Milner Systems]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fext-f%2Ftldi22-sulzmann-with-appendix.pdf][System F with type equality coercion]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2013/fckinds/fckinds-extended.pdf][System FC with Kind Equality]]
*** Misc Parametricity [1/5]
:PROPERTIES:
:CUSTOM_ID: misc-parametricity
:END:

- [X] [[http://ecee.colorado.edu/ecen5533/fall11/reading/free.pdf][Theorems for Free]]
- [ ] [[http://www.janis-voigtlaender.eu/papers/FreeTheoremsInvolvingTypeConstructorClasses.pdf][Free theorems for TyCons]]
- [ ] [[http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf][Parametric Polymorphism]]
- [ ] [[http://strictlypositive.org/diff.pdf][Type Derivatives and Typed Holes]]
- [ ] [[https://mpg.is/papers/gissurarson2018suggesting.pdf][Suggesting Valid Hole Fits]]
*** Misc TypeChecking + PLT [0/10]
:PROPERTIES:
:CUSTOM_ID: misc-typechecking-plt
:END:

- [ ] [[http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf][Parametric HOAS]]
- [ ] [[http://davidchristiansen.dk/tutorials/bidirectional.pdf][Tutorial on Bidirectional Type Inference]]
- [ ] [[https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf][Tutorial Implementation of Dependent Types]]
- [ ] [[http://www.cs.cmu.edu/~fp/courses/15312-f04/handouts/15-bidirectional.pdf][Pfenning's Notes on Bidirectional Type Inference]]
- [ ] [[https://www.schoolofhaskell.com/user/edwardk/bound][EdK's =bound= Library Comparisons]]
- [ ] [[https://www.cl.cam.ac.uk/~nk480/bidir.pdf][Bidirectional Typechecking for Higher Rank Polymorphism]]
- [ ] [[https://pdfs.semanticscholar.org/8983/233b3dff2c5b94efb31235f62bddc22dc899.pdf][Tutorial Implementation of Hindley-Milner]]
- [ ] [[https://www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99DeBruijn.pdf][De Bruijn Indices]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf][The Stitch Type Checker]]
- [ ] [[https://repository.upenn.edu/cgi/viewcontent.cgi?article=1031&context=cis_reports][Boxes go Bananas]]
*** Functional pearls [0/7]
:PROPERTIES:
:CUSTOM_ID: functional-pearls
:END:

- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/countdown.pdf][The countdown problem]]
- [ ] [[https://www.cs.tufts.edu/~nr/cs257/archive/richard-bird/sudoku.pdf][A program to solve Sudoku]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/ccc.pdf][Calculating correct compilers]]
- [ ] [[http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf][Data types a la carte]]
- [ ] [[https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf][Trees that grow]]
- [ ] [[http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf][I am not a Number, I am a Free Variable!]]
- [ ] [[https://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids_ext.pdf][Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff]]
*** Algebra of programming [1/6]
:PROPERTIES:
:CUSTOM_ID: algebra-of-programming
:END:

- [X] [[https://maartenfokkinga.github.io/utwente/mmf91m.pdf][Functional programming with Bananas, Lenses, and Barbed Wire]]
- [ ] [[https://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.pdf][Origami programming]]
- [ ] [[http://moss.cs.iit.edu/cs495/universal-fold.pdf][A tutorial on the universality and expressiveness of fold]]
- [ ] [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf][Unifying Structured Recursion Schemes]]
- [ ] [[http://www.cs.nott.ac.uk/~pszgmh/bananas.pdf][Bananas in Space]] - [[https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Hylomorphisms.pdf][Conjugate Hylomorphisms]]
- [ ] [[https://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf][Adjoint Folds]]
** TODO [#C] Enhance quality of hosting, switch to NixOS            :geek:
** TODO [#C] Wakatime server clone                                  :idea:geek:
See doc at: https://wakatime.com/developers
* Geek                                                               :fun:
** TODO [#C] my experience/story about blog post serie [0/12]       :blog:
Explain the story and how I forged some opinions.
A few ideas:

- [ ] scrum
- [ ] text editor
- [ ] colorschemes
- [ ] web development
- [ ] programming languages
- [ ] note taking
- [ ] research
- [ ] cooking
- [ ] weight, sport, fit
- [ ] intelligence, smartness
- [ ] writing
- [ ] reading
*** TODO [#C] how I use nix                                        :blog:
[2020-05-21 Thu 18:48]
- as a better brew + sync local env
- for reproductible dev
- for reproductible shell scripts
- for reproductible haskell dev
- for reproductible purescript dev
*** TODO [#C] how I use org-mode                                   :blog:
**** org-mode for documents
***** org babel (ob-http), scripts, etc...
***** org journal
***** org roam
***** org-fc
**** org-mode for tasks management
***** org agenda
***** org capture
***** org clocking
***** org refile
***** org habit
**** org-mode for note taking
***** org-journal
***** org-roam
***** org-fc
* Films                                                              :film:fun:
** TODO [#C] underrated horror films                                :maybe:
SCHEDULED: <2020-09-26 Sat>
[2020-07-29 Wed 12:19]
https://reddit.com/r/MovieSuggestions/comments/hzxoh3/recommend_a_underrated_horror_film_that_you_think/
** TODO [#C] movie Café Flesh
SCHEDULED: <2020-09-19 Sat>
[2020-07-29 Wed 06:26]
source :: https://reddit.com/r/sorceryofthespectacle/comments/hzkcl8/_/fzkattf/?context=1
source :: https://www.imdb.com/title/tt0083707/
** TODO [#C] Films
SCHEDULED: <2020-08-29 Sat 10:00>
[2020-08-23 Sun 17:33]

ultime souper
the rock
* Memory
:PROPERTIES:
:ID:       1644E007-AFBE-4F4B-9307-B007C60548E8
:END:
** tidal degrade shortcut                                           :fc:tidal:
:PROPERTIES:
:FC_CREATED: 2020-05-21T12:44:44Z
:FC_TYPE:  cloze
:ID:       96343FD2-E7A9-4AAA-A40A-8D048DA340E9
:FC_CLOZE_MAX: -1
:FC_CLOZE_TYPE: single
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
|        0 | 2.35 |   6 |    91.09 | 2020-11-09T15:07:45Z |
:END:

#+begin_src tidal
d1 $ s "[[bg]*4]{{?}@0}"
#+end_src
** How to promote an org-mode entry to an org-fc card?              :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-05-21T13:08:59Z
:FC_TYPE:  normal
:ID:       B72E4288-E96B-4099-8684-37DDF3395C50
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   6 |   120.74 | 2020-12-09T06:43:33Z |
| back     | 2.95 |   6 |   154.63 | 2021-01-12T03:58:13Z |
:END:

=SPC o f . t= or ~org-fc-hydra/body~ then select =t=.
** client TG dans le config.edn                                     :fc:cisco:
:PROPERTIES:
:FC_CREATED: 2020-05-23T17:33:07Z
:FC_TYPE:  normal
:ID:       8B092321-BA1F-47F9-A927-76D2E232CF51
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 3.10 |   6 |   131.51 | 2020-12-20T01:05:32Z |
:END:

Ne pas oublier le client de TG est dans le config.edn
** Searh within org notes                                           :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-06-05T07:09:22Z
:FC_TYPE:  normal
:ID:       49981B50-AFBD-4C93-A9C2-8D88550AB425
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   6 |   117.87 | 2020-12-10T06:14:43Z |
:END:
=helm-org-rifle= (~SPC y o s~)
** update ~[/]~ and ~[%]~ in org mode                               :fc:org:
:PROPERTIES:
:FC_CREATED: 2020-06-13T12:35:49Z
:FC_TYPE:  normal
:ID:       90110976-520D-4B0C-B1D9-3798323C370E
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.50 |   6 |   110.04 | 2020-12-15T09:01:14Z |
:END:

use ~SPC m #~ (~org-update-statistics-cookies~)
** projectile toggle from implementation to test file               :fc:
:PROPERTIES:
:FC_CREATED: 2020-07-02T13:16:56Z
:FC_TYPE:  normal
:ID:       2110820C-4877-40B3-A351-2DEDE0F222C6
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   5 |    38.28 | 2020-10-04T14:46:51Z |
:END:
=SPC p a=
** Create inactive timestmap                                        :fc:org:doom:
:PROPERTIES:
:FC_CREATED: 2020-09-01T10:16:26Z
:FC_TYPE:  normal
:ID:       a4ebd43b-b589-499e-85e1-7ebea0abf3af
:END:
:REVIEW_DATA:
| position | ease | box | interval | due                  |
|----------+------+-----+----------+----------------------|
| front    | 2.65 |   4 |    16.32 | 2020-09-30T19:51:45Z |
:END:
:LOGBOOK:
CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] =>  0:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~
* TODO check slack                                                   :work:
[2020-09-21 Mon 09:38]
ref ::