42544af799
fix: safe encode bits to check for 2^num_bits <= byte we are encoding
...
fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding.
It does not...
fix: Debruijn was being converted to NamedDeBruijn incorrectly
2023-06-30 23:06:38 -04:00
a365649360
chore: clippy autofix
2023-02-01 18:53:11 -05:00
c8efe60843
feat: use Rc for more things, fib_iter runs almost 3 seconds faster now
2023-02-01 18:53:11 -05:00
01e91b9fe5
chore: deal with clippy warnings
2022-11-10 01:27:18 -05:00
6c6aefd1c4
get basic when conditions to work
2022-11-08 22:21:07 -05:00
2bb482d9ec
Using rc we now get code that runs much faster and
...
can run jpg contract with no inputs
2022-08-17 22:40:32 -04:00
4eafdd2d39
fix issue with same names causing 0 index debruijn for var
2022-06-26 21:38:27 -04:00
6aae184848
feat: new fmt command and pretty printing works
2022-06-18 22:54:26 -04:00
b8c5c268d4
feat: add conversion to tests
2022-06-16 16:54:34 -04:00
59a8f6477b
feat: convet a named debruijn to a name
2022-06-15 20:12:12 -04:00
d4251206e7
feat: fake named debruijn
2022-06-05 22:47:04 -04:00
1ecd47a361
feat: clean up errors
2022-06-04 14:01:45 -04:00
377c5c206c
feat: better errors for debruijn converter
2022-06-04 12:16:56 -04:00
2f51b23e7e
feat: debruijn conversions and binder
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2022-06-04 11:15:34 -04:00
2ad630de90
feat: use a stack for scope
2022-06-04 00:29:30 -04:00
946937f945
feat: more debruijn stuff
2022-06-03 22:00:16 -04:00
f8edb5d519
feat: start debruijn conversion
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2022-06-03 00:36:39 -04:00
microproofs