Record · corpus.blog/posts/01a08792-eb67-72cd-af30-5d952719b093

Barbell: Template System in BQN

juuso.dev · published 28 June 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at juuso.dev Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 21
Words captured: 4,117

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://mlochbaum.github.io/BQN/

mlochbaum.github.io

https://mlochbaum.github.io/BQN/doc/under.html

mlochbaum.github.io

Structural vs. Mathematical “Under” Read at the source ↗

dyalog.com

https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf

cs.ox.ac.uk

https://github.com/jhvst/barbell

github.com

https://mlochbaum.github.io/BQN/doc/undo.html

mlochbaum.github.io

https://www.youtube.com/watch?v=_DTpQ4Kk2wA

youtube.com

https://mlochbaum.github.io/BQN/community/aoc.html

mlochbaum.github.io

https://en.wikipedia.org/wiki/Conjugacy_class

en.wikipedia.org

https://ncatlab.org/nlab/show/lens+%28in+computer+science%29

ncatlab.org

https://amturing.acm.org/award_winners/iverson_9147499.cfm

amturing.acm.org

https://en.wikipedia.org/wiki/Matrix_similarity

en.wikipedia.org

https://mlochbaum.github.io/BQN/spec/inferred.html

mlochbaum.github.io

https://www.jsoftware.com/papers/opfns1.htm

jsoftware.com

https://arxiv.org/abs/1912.13451

arxiv.org

https://futhark-lang.org/blog/2023-05-12-size-type-challenges.html

futhark-lang.org

https://github.com/google-research/dex-lang

github.com

https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf

cs.ox.ac.uk

https://handlebarsjs.com

handlebarsjs.com

https://web.dev/imports/

web.dev

https://github.com/jhvst/jhvst.github.io/blob/main/blogPosts/barbell/flake.nix

github.com