This is a fascinating language with some great ideas. I tried years ago to create my own implementation in Python but while I found the paper straight-forward t

This is a fascinating language with some great ideas. I tried years ago to create my own implementation in Python but while I found the paper straight-forward the implementation in Bud, to me at the time, was quite dense. It'd be interesting to revisit it again with some of the advances we've made in deep specifications and dependent type theory.