diff options
| author | Marvin Borner | 2024-01-18 15:15:04 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-01-18 17:42:07 +0100 |
| commit | 076d528bfaa55b71f9653c0579723ff565db5e7f (patch) | |
| tree | e02cdbd34d33e5f0b0d6fb976c64da4b4184e5ba /readme.md | |
| parent | f7aeca15b6da0c4af985d55eef14bfaf44eb74db (diff) | |
BLoCade
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -1,9 +1,14 @@ # BLoC This project proposes a file format for programs encoded in binary -lambda calculus (BLC). Its main goal is minimal redundancy and therefore -allowing maximal optimization. The included `bloc` tool converts BLC to -BLoC and heavily reduces its size. +lambda calculus (BLC). Its main goal is to minimize redundancy by +incorporating reference-based term sharing, while remaining easy to work +with. The included `bloc` tool converts BLC to BLoC and greatly reduces +its size. + +The additional tool `blocade` (found in +[BLoCade](https://github.com/marvinborner/blocade)) can compile `.bloc` +files to various targets, including a shared pure BLC representation. ## Results |