diff options
author | Francesco Mazzoli <f@mazzo.li> | 2013-06-14 17:38:59 +0100 |
---|---|---|
committer | Francesco Mazzoli <f@mazzo.li> | 2013-06-14 17:38:59 +0100 |
commit | 4a595ccd130b5954a103a66f2941ab2ed711ee6a (patch) | |
tree | 7530d21089589b6f014104bb73293c3dcb5dc792 /idris-proposal.tex | |
parent | ffa2d9635d358274433cece34fa326a49794ab62 (diff) |
...
Diffstat (limited to 'idris-proposal.tex')
0 files changed, 0 insertions, 0 deletions