diff options
author | Marvin Borner | 2023-06-26 00:32:28 +0200 |
---|---|---|
committer | Marvin Borner | 2023-06-26 00:32:28 +0200 |
commit | 79cf34e878da5118bdfc25a02d78f4e21574600d (patch) | |
tree | 3f148058bb9f516e5b897c40effed58a4159a1bc /std/Box.bruijn | |
parent | ad0762d1288f78bb3201a37814c95821e1a7957a (diff) |
Added eval/apply functions
Diffstat (limited to 'std/Box.bruijn')
0 files changed, 0 insertions, 0 deletions