Blog post on basic use of GATlab

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

https://algebraicjulia.github.io/GATlab.jl/

MIT License

24 stars 2 forks source link

Open olynch opened 11 months ago

olynch commented 11 months ago

We should have a blog post explaining some basic use of GATlab.

epatters commented 11 months ago

Great idea! I also find that writing a blog post is a good warmup for a writing paper.