7 lines
143 B
Org Mode
7 lines
143 B
Org Mode
|
#+TITLE: idris
|
||
|
|
#+Author: Yann Esposito
|
||
|
|
|
||
|
|
tags :: [[file:2020-05-26--06-13-41Z--functional_programming.org][functional programming]]
|
||
|
|
source ::
|
||
|
|
|