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