 Samuel W. Flint
|
8d32f6ef7c
Use "mycommon" package, enable plex for typewriter, "closed" squareroots
|
4 years ago |
|
Samuel W. Flint
|
596f17ebb8
Rename "Clause Collection" to "Expression Collection"
|
4 years ago |
|
Samuel W. Flint
|
41bfbe8c80
Rename clause adding to expression adding
|
4 years ago |
|
Samuel W. Flint
|
1f10380d78
Write about adding clauses
|
4 years ago |
|
Samuel W. Flint
|
3461cf51e3
Simplify conflict checking
|
4 years ago |
|
Samuel W. Flint
|
174d041b2d
Write about branchiness checking
|
4 years ago |
|
Samuel W. Flint
|
44cb956f3d
Wrote about expression type checking
|
4 years ago |
|
Samuel W. Flint
|
3fdeef5387
Write about expression type definition
|
4 years ago |
|
Samuel W. Flint
|
b52ce57f2f
Write the start of expression classification
|
4 years ago |
|
Samuel W. Flint
|
66d62e1f9a
Implement Picking next expression by branchiness
|
4 years ago |
|
Samuel W. Flint
|
700e5cf8ea
Add branchiness checking/classification
|
4 years ago |
|
Samuel W. Flint
|
38bbfda82d
No need to bind python-indent-offset
|
4 years ago |
|
Samuel W. Flint
|
4fbf51f125
Update to handle new latex formatting
|
4 years ago |
|
Samuel W. Flint
|
18ba470f1d
Wrote about system definition, and therefore finished on packaging
|
6 years ago |
|
Samuel W. Flint
|
67b52a33a8
Wrote about package-definition
|
6 years ago |
|
Samuel W. Flint
|
9762f602d2
Start on packaging
|
6 years ago |
|
Samuel W. Flint
|
0b1924579d
Write about handler dispatch
|
6 years ago |
|
Samuel W. Flint
|
9fcbd1b6b5
Update introduction
|
6 years ago |
|
Samuel W. Flint
|
e75f229926
Wrote about handler definition
|
6 years ago |
|
Samuel W. Flint
|
81b0fa2705
Update solution dispatch, and did some stuff for tangling. Add atom sorter
|
6 years ago |
|
Samuel W. Flint
|
07cafca735
Rewrote about solver
|
6 years ago |
|
Samuel W. Flint
|
714dce8808
Updated bibliography
|
6 years ago |
|
Samuel W. Flint
|
b8f18e9ea9
Update bibliography, date
|
6 years ago |
|
Samuel W. Flint
|
7326c4bf35
Switch to using cite: and ox-bibtex
|
6 years ago |
|
Samuel W. Flint
|
66d3e690da
Update gitignore
|
6 years ago |
|
Samuel W. Flint
|
9ccd2e792a
Add some stuff in for progress tracking
|
6 years ago |
|
Samuel W. Flint
|
b0026c98d6
Reorganize Expression Classification
|
6 years ago |
|
Samuel W. Flint
|
6dffd33b4a
Start talking about expression handlers
|
6 years ago |
|
Samuel W. Flint
|
82d006bea6
Reorganize some parts of the solver and start describing it
|
6 years ago |
|
Samuel W. Flint
|
3812fbaf32
Broke utilities out
|
6 years ago |
