:PROPERTIES:
:ID:       a6f5e6db-b44d-4715-afc2-58599a070b81
:END:
#+TITLE: idris
#+Author: Yann Esposito

tags :: [[id:155859f9-3f3c-4cea-bce4-70f24fca05fa][functional programming]] 
source ::