search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

At docstrings for existing theories #142

Closed quffaro closed 4 months ago

quffaro commented 4 months ago

141 allows docstrings to be added to theory definitions. We now need to add docstrings to the theories in the stdlib.

quffaro commented 4 months ago

I've added documentation for theories in the stdlib. Others may add more verbose descriptions or examples.