9 lines
195 B
Org Mode
9 lines
195 B
Org Mode
:PROPERTIES:
|
|
:ID: a6f5e6db-b44d-4715-afc2-58599a070b81
|
|
:END:
|
|
#+TITLE: idris
|
|
#+Author: Yann Esposito
|
|
|
|
tags :: [[id:155859f9-3f3c-4cea-bce4-70f24fca05fa][functional programming]]
|
|
source ::
|
|
|