cf8ad1edfc
chore: Remove complex 'base cases' that are no longer needed
2022-07-22 13:40:40 -07:00
6e7f244c33
fix: Each typed instance must have its own typed universe
...
Resolves #14
2022-07-22 13:29:59 -07:00
ed71b15969
Merge pull request 'fix: Avoid files that differ just by case' ( #12 ) from no_case_duplicates into main
...
Reviewed-on: #12
2022-07-22 16:47:09 +00:00
664f30ddef
fix: Avoid files that differ just by case
2022-07-22 09:45:58 -07:00
89f4977e78
doc: Move an incorrectly placed comment
2022-07-20 02:57:46 +00:00
9a63389a4c
doc: Fix a couple of typos in README
2022-07-20 02:53:29 +00:00
a16d6a5ce3
feat: Add all remaining features of original Picomath PoC ( #5 )
...
Namely, a README describing the proof-of-concept,
a custom selective loader, and some additional tests.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #5
2022-07-19 19:37:52 +00:00
84a8b9d5c4
feat: Allow self-reference in implementations ( #4 )
...
This PR also uses such self-reference to define negate and add
for Complex numbers in a way that is independent of component types.
Also adds a bigint type and verifies that pocomath will then handle
Gaussian integers "for free".
Ensures that if one function is invalidated, then any that depend on it will be.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #4
2022-07-19 18:54:22 +00:00
77b04fbdbb
Merge pull request 'feat: Add complex numbers' ( #3 ) from complex into main
...
Reviewed-on: #3
2022-07-19 16:55:24 +00:00
b82336e590
feat: Add complex numbers
...
No negation (and therefore no subtraction) since that needs self-reference.
2022-07-19 09:52:16 -07:00
b59a8c2ca9
feat: Allow nonrecursive whole-function dependencies ( #2 )
...
And implement negate on numbers, and use dependencies to define subtract.
Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #2
2022-07-19 03:10:55 +00:00
f5e2e09aa2
Merge pull request 'feat: First operational instance with just add' ( #1 ) from init_operation into main
...
Reviewed-on: #1
2022-07-19 00:11:11 +00:00
c5384e0ee7
feat: First operational instance with just add
2022-07-18 17:08:49 -07:00
cb016474ec
chore: Initialize project with pnpm
2022-07-18 15:33:08 -07:00
711b9e726f
Initial commit
2022-07-18 22:10:03 +00:00
