diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-08-31 12:06:33 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-08-31 12:06:33 +0100 |
| commit | 1788a581c9533c9231f7d5d44e2631a36dc92e47 (patch) | |
| tree | 0a213edf99ce18341f6bc7e7c10b74ba417c5d07 /.gitignore | |
| parent | 1a1f0b8129d6804b50d9fa971656c249f1fd087a (diff) | |
| download | micro-lang-hs-1788a581c9533c9231f7d5d44e2631a36dc92e47.tar.gz micro-lang-hs-1788a581c9533c9231f7d5d44e2631a36dc92e47.zip | |
Manage the TODO with the language spec
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions