Mark
|
48e7d405dd
|
Improved history & highlighting
|
2022-11-11 17:04:05 -08:00 |
Mark
|
78cc118bfc
|
Added :expand
|
2022-11-11 15:45:22 -08:00 |
Mark
|
ac08c5be59
|
Spelling
|
2022-11-07 19:02:35 -08:00 |
Mark
|
73b803a1b0
|
Minor cleanup
|
2022-10-31 08:27:28 -07:00 |
Mark
|
4847f0a9a4
|
Minor improvements
|
2022-10-28 19:48:12 -07:00 |
Mark
|
218af2cd49
|
Cleaned up parser
|
2022-10-22 12:59:42 -07:00 |
Mark
|
d11c9a5a7e
|
Improved parser
|
2022-10-22 08:28:05 -07:00 |
Mark
|
e1b79cd59a
|
Cleanup & build files
|
2022-10-21 21:01:06 -07:00 |
Mark
|
b5d97cf5c6
|
Added Church numeral generation
|
2022-10-21 19:39:37 -07:00 |
Mark
|
d42b772092
|
Added metafiles
|
2022-10-20 11:01:50 -07:00 |