rvcas
|
b47030b86d
|
feat: better clap commands
|
2022-06-06 23:55:01 -04:00 |
|
Kasey White
|
895f279be0
|
fix: parser fixes for spacing
|
2022-06-06 23:28:36 -04:00 |
|
rvcas
|
377c5c206c
|
feat: better errors for debruijn converter
|
2022-06-04 12:16:56 -04:00 |
|
rvcas
|
2f51b23e7e
|
feat: debruijn conversions and binder
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-06-04 11:15:34 -04:00 |
|
rvcas
|
2ad630de90
|
feat: use a stack for scope
|
2022-06-04 00:29:30 -04:00 |
|
rvcas
|
946937f945
|
feat: more debruijn stuff
|
2022-06-03 22:00:16 -04:00 |
|
rvcas
|
3f1ddef635
|
chore: slight clean up
|
2022-05-30 18:05:50 -04:00 |
|
Kasey White
|
c01469ea51
|
feat: spec complaint program encoding
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-05-27 22:37:08 -04:00 |
|
rvcas
|
b345afd12f
|
feat: we're flat encoding plutus core
|
2022-05-23 12:45:13 -04:00 |
|
rvcas
|
33fee5b3e0
|
chore: switch to a mono repo
|
2022-05-22 12:40:52 -04:00 |
|