diff options
| author | gingerBill <bill@gingerbill.org> | 2020-06-22 13:25:19 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-06-22 13:25:19 +0100 |
| commit | fb3aeccd361c1702ff2de92860884782e5d60bdd (patch) | |
| tree | b9750a8e6cba49419e68413bf05ca5d52ee4d22c /src/check_type.cpp | |
| parent | 9495e3d10c8a8314e0bbd683338ce98d45b14ac2 (diff) | |
Add built-in `Maybe`
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions