Brandon Barker

@nusentry.org

Software builder exploring health, behavior, and humane technology. Rust · Unison · AI · CompBio I like to run, play around with programming languages and other computing tech, read biology and math, as well as lots of popular nerdery (like Tolkien).

I really should write a post about writing a lambda calculus in @unison-lang.org ; it has been quite fun to add syntactic sugar: {{ tru = λt. λf. t; }} untyped.tru : '{LCtx untyped.Binding, Exception} untyped.Term untyped.tru = do λ "t" (tt -> λ "f" (ff -> mkVar tt))

And on that note I have a small @unison-lang.org library where I've started to put `@html` utilities: share.unison-lang.org/@bbarker/htm... It isn't properly documented yet; I'll hopefully write a small post about it; posting in case you are looking for a home for your odd html utility function.

Unison Share

Explore, read docs about, and share Unison libraries

share.unison-lang.org

Brandon Barker@nusentry.org · 2y ago

Thanks to Mitchell Wrosen @unison-lang.org for showing how to move code between projects (why have a utils namespace when you can have a utils library?) github.com/unisonweb/un...