diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-08 21:06:48 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-08 21:06:48 -0800 |
| commit | 92e3f56ef967185f19522e698872ff61ef4ef284 (patch) | |
| tree | 6413d1db97cb71b3aef2f9d29dd2c704a98d5b0c /factorial.mu | |
| parent | 1ad798a2cace11d799776850fb6ecbbe30f55a60 (diff) | |
| download | mu-92e3f56ef967185f19522e698872ff61ef4ef284.tar.gz | |
2403 - experiment: documenting non-assertions
Is that like a Maybe type in a type system? No it's more, it captures the wistful longing of several hours spent trying to make an assertion true. Not even by moving my phases relating to the types around could I make this assertion true.
Diffstat (limited to 'factorial.mu')
0 files changed, 0 insertions, 0 deletions