diff options
| author | Marvin Borner | 2023-02-20 22:02:37 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-20 22:02:37 +0100 |
| commit | 7a9768dae668d2e08cefebaf39911a9b3f2366cf (patch) | |
| tree | a2b4836b8c7891d2e74aca8d628e1f08c1b1e246 /std/Number.bruijn | |
| parent | 8e3a7a0d5b0096a0e7bea934fa55ee910a7a3f0a (diff) | |
Removed typechecking
Well, it's unnecessary complexity :D
I might add checking again in the future, but you'll need to typecheck in
your head for now.
Diffstat (limited to 'std/Number.bruijn')
0 files changed, 0 insertions, 0 deletions