Skip to content

Commit cd05976

Browse files
readme
1 parent 17eeb7f commit cd05976

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

README.md

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# TermInterface.jl
2+
3+
This package contains definitions for common functions that are useful for symbolic expression manipulation.
4+
Its purpose is to provide a shared interface between various symbolic programming Julia packages, for example
5+
[SymbolicUtils.jl](https://github.com/JuliaSymbolics/SymbolicUtils.jl), [Symbolics.jl](https://github.com/JuliaSymbolics/Symbolics.jl) and [Metatheory.jl](https://github.com/0x0f0f0f/Metatheory.jl).
6+
7+
## Docs
8+
TODO

0 commit comments

Comments
 (0)