10 lines
195 B
Org Mode
10 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 ::
|
||
|
|