 Samuel W. Flint
|
aa6813321f
Fix minor typo
|
5 năm trước cách đây |
|
Samuel W. Flint
|
cf919ed39d
Add multiplication copying
|
5 năm trước cách đây |
|
Samuel W. Flint
|
97402356f3
Add subtraction expression copying
|
5 năm trước cách đây |
|
Samuel W. Flint
|
d40dba1a0f
Add substitution in expression
|
5 năm trước cách đây |
|
Samuel W. Flint
|
cbb528960e
Copy addition expressions
|
5 năm trước cách đây |
|
Samuel W. Flint
|
0b5828e59b
Fix weird typo thing
|
5 năm trước cách đây |
|
Samuel W. Flint
|
8cd7d11021
Add types image
|
5 năm trước cách đây |
|
Samuel W. Flint
|
dcd7cf84af
Fix some export stuff
|
5 năm trước cách đây |
|
Samuel W. Flint
|
a69141fccf
Switch from equalp to equal, add some implementations of copy-expression
|
5 năm trước cách đây |
|
Samuel W. Flint
|
b302de8878
Require copy-expression is implemented
|
5 năm trước cách đây |
|
Samuel W. Flint
|
c2bd43e9f8
Update exponentials, adding to-sexp
|
5 năm trước cách đây |
|
Samuel W. Flint
|
15411e8765
Add to-sexp for divisions
|
5 năm trước cách đây |
|
Samuel W. Flint
|
1db73d06d1
Add in multiplications to-sexp
|
5 năm trước cách đây |
|
Samuel W. Flint
|
af0d78b7ff
Add in to-sexp for subtractions
|
5 năm trước cách đây |
|
Samuel W. Flint
|
3afaea6160
Wrote to-sexp for additions
|
5 năm trước cách đây |
|
Samuel W. Flint
|
84a326f5e7
Add to-sexp for constants (handle resolution thereof)
|
5 năm trước cách đây |
|
Samuel W. Flint
|
1e19ff9293
Add to-sexp for variables
|
5 năm trước cách đây |
|
Samuel W. Flint
|
9fa51cca6d
Add to-sexp for numbers
|
5 năm trước cách đây |
|
Samuel W. Flint
|
712f3853ad
Add `to-sexp` operation as part of protocol
|
5 năm trước cách đây |
|
Samuel W. Flint
|
856588c413
Fix some stuff for trig
|
5 năm trước cách đây |
|
Samuel W. Flint
|
fbc0ac3aca
Finish Trig types
|
5 năm trước cách đây |
|
Samuel W. Flint
|
bbf8ebcdf5
Archived some old "common functionality"
|
5 năm trước cách đây |
|
Samuel W. Flint
|
dc56f8c4a4
Add subtractions handling and re-order
|
5 năm trước cách đây |
|
Samuel W. Flint
|
aa34602083
Write additions definition
|
5 năm trước cách đây |
|
Samuel W. Flint
|
4e0d92dcb8
Wrote Logarithmic types
|
5 năm trước cách đây |
|
Samuel W. Flint
|
e270d966d5
Work on some packaging stuff, incl writing eqal for <expt>
|
5 năm trước cách đây |
|
Samuel W. Flint
|
c043bf3f72
`eqal`ity of divisions are done
|
5 năm trước cách đây |
|
Samuel W. Flint
|
183873cc59
Set most marked DONE to WORKING, write `eqal` for <multiplications>
|
5 năm trước cách đây |
|
Samuel W. Flint
|
65eea6a6e2
And all Atomic types are done
|
5 năm trước cách đây |
|
Samuel W. Flint
|
cb3f1bdda7
Fix eqal, as well as name of substitute, now substitute-expression
|
5 năm trước cách đây |
