diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -1,9 +1,9 @@ # BLoCade -[BLoC](https://github.com/marvinborner/bloc) is an optimized file format -for binary lambda calculus (BLC). +[BLoC](https://github.com/marvinborner/bloc) is a file format for shared +binary lambda calculus (BLC). -BLoCade is the BLoC-aid and turns BLoC files back into executable files +BLoCade, the BLoC-aid, turns BLoC files back into executable files (targets). This is useful for [bruijn](https://bruijn.marvinborner.de), benchmarking, or general term optimization. @@ -11,8 +11,9 @@ benchmarking, or general term optimization. - BLC (sharing by abstraction): Terms having BLoC entry indices get abstracted and applied to the respective term. The indices get - converted to De Bruijn indices. Flag `bblc` (bits) and `blc` (ASCII - 0/1). + converted to De Bruijn indices. The dependency graph is resolved by + a topological sort so De Bruijn indices won't get unnecessarily + large. Flag `bblc` (bits) and `blc` (ASCII 0/1). - BLC (unshared): Every BLoC entry gets reinserted into the original term. Do not use this if you want efficiency or small files. Flag `unbblc` (bits) and `unblc` (ASCII 0/1). |