diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-10 15:12:54 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-10 15:12:54 +0100 |
| commit | 22c9414d07e6514fd0329fbceb3132766beb3cda (patch) | |
| tree | 37e462e918ca93c176290c8969ae479e56f1ec47 /.gitignore | |
| parent | 94edc33c318f60cd7de3ae8537df6eb269fc9deb (diff) | |
| download | micro-lang-hs-22c9414d07e6514fd0329fbceb3132766beb3cda.tar.gz micro-lang-hs-22c9414d07e6514fd0329fbceb3132766beb3cda.zip | |
Use a record for state
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions