simon/post-scarcity
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
234 commits 3 branches 0 tags 731 KiB
Commit graph

234 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Brooke cec32eff54 Progress, but there's something wrong with nlambdas 2018-12-13 23:20:34 +00:00
Simon Brooke 11409301da Tactical commit before trying adventurous change in peano 2018-12-13 19:23:44 +00:00
Simon Brooke facd5ccc94 Started work on nlambda. It isn't working yet. 2018-12-13 17:08:47 +00:00
Simon Brooke 0550b0168f And now the interpreter works (I think) correctly! 2018-12-13 13:31:04 +00:00
Simon Brooke 434c17eb0e And now the interpreter works (I think) correctly! 2018-12-12 21:12:49 +00:00
Simon Brooke 676b231743 Interpreter working! 2018-12-12 18:49:05 +00:00
Simon Brooke 7189c0172c Much work on the interpreter, but it is getting messy 
Going to try something radically different
 2018-12-12 16:20:16 +00:00
Simon Brooke 7d0b6bec97 Colourised print. 2018-12-12 11:48:24 +00:00
Simon Brooke 9bfc9074b0 Improved (for me) formatting on Mac 
Don't yet know whether this will work on Linux.
 2018-12-08 14:09:57 +00:00
Simon Brooke 27fd678888 Tried to get more sensible printing of floating point numbers 
Results are quite disappointing. Resolution on long doubles is nothing like as good as I hoped; they're out by one part in 10^20.

All unit tests except one pass, and the one that doesn't is a very minor rounding issue, so I'm calling it good.
 2018-12-08 00:29:05 +00:00
Simon Brooke fc960dec20 Fixed! A stupid error which was entirely my fault 2018-12-07 22:33:59 +00:00
Simon Brooke d620542ee5 Trying to get to the point where make format works the same 
on Linux and MacOS
 2018-12-07 21:37:31 +00:00
Simon Brooke 93b84087ce There's an enormous lot of good stuff in this, but I've messed up print 
almost certainly by writing a non-wide character to a wide stream.
 2018-12-07 20:09:33 +00:00
Simon Brooke 7e40d65df0 Fixed misnamed unit test file; upversioned to 0.0.2 2018-12-07 06:51:00 +00:00
Simon Brooke 15b04be9a9 Merge branch 'develop' 2018-12-07 06:46:46 +00:00
Simon Brooke 645ab3674e All unit tests pass. The eval-quote problem is solved. 2018-12-07 06:43:23 +00:00
Simon Brooke fd9c851185 Merge branch 'develop' of github.com:simon-brooke/post-scarcity into develop 2018-12-07 06:39:23 +00:00
Simon Brooke 15ded8c821 Several new unit tests 2018-12-07 06:32:51 +00:00
Simon Brooke 1307c65e94 And the answer was, eval is a function, not a special form. 2018-12-07 06:32:02 +00:00
Simon Brooke 88fd7d95d9 Added Doxyfile, updated Makefile, reformatted. 2018-12-06 18:12:15 +00:00
Simon Brooke 3112f190db Work on the eval-quote bug. I have a really profound misunderstanding here! 
But, in working on it, I've worked hard on documentation, which is good.
 2018-12-06 17:55:54 +00:00
Simon Brooke 7f29c11592 Added new unit test for a failing behaviour in eval 2018-12-05 09:33:37 +00:00
Simon Brooke a59e120085 Added some working notes 2017-10-16 14:39:40 +01:00
simon 01cf08b100 COND working 2017-10-16 14:37:09 +01:00
simon b989b5e041 PROGN working 2017-10-16 12:22:49 +01:00
Simon Brooke 9d44915c6e Merge branch 'release/0.0.1' 2017-10-15 18:31:26 +01:00
Simon Brooke 45d129facb Merge branch 'release/0.0.1' into develop 2017-10-15 18:31:25 +01:00
simon 05854725c8 Upversion to 0.0.1 2017-10-15 18:31:10 +01:00
simon 685790df43 Apply works; all unit tests pass. 2017-10-15 18:27:55 +01:00
simon 8e7d1ab913 More work on apply, also trying to read dotted pairs. 2017-10-15 17:01:03 +01:00
Simon Brooke 89b4f093f9 Fixed bug which caused reader to infinite loop if symbol contained non-alnum. 2017-10-15 15:14:34 +01:00
Simon Brooke 0685442e1a Tidied up 'wide' printing. 2017-10-15 14:31:57 +01:00
Simon Brooke ba4a31c25a All tests passing except 'apply', which is genuinely broken; I'm not yet sure 
what's wrong.
 2017-10-15 14:17:54 +01:00
simon f988147bb2 Added 'make repl', just because it's an easy way to launch. 2017-10-07 17:13:53 +01:00
simon b75d01f063 Merge remote-tracking branch 'origin/develop' into develop 2017-10-07 17:03:00 +01:00
Simon Brooke c396370e51 Fixed a number of unit tests (problems were output format, not actual bugs) 2017-10-07 15:11:07 +01:00
Simon Brooke 3e8e621fdd Merge remote-tracking branch 'refs/remotes/origin/develop' 
Conflicts:
	src/consspaceobject.h
 2017-10-06 18:28:14 +01:00
simon 0e224e551b EVAL on arithmetic operations still not working 2017-10-06 18:27:01 +01:00
Simon Brooke 77393b70ad Fix build bugs 2017-09-25 13:34:46 +01:00
Simon Brooke 832ae3be0d New unit tests. 2017-09-25 10:01:25 +01:00
Simon Brooke b713c1822d WArning! this doesn't even build! Half way through reworking eval. 2017-09-17 20:18:15 +01:00
simon cf1b09c62a Bug in reading reals. 2017-09-17 11:29:49 +01:00
simon 79f7492390 Whitespace changes only - trying to keep the format regular 2017-09-14 19:02:03 +01:00
Simon Brooke e43c9a7b33 Documentation in conspage.h 2017-09-14 15:51:11 +01:00
Simon Brooke 46fff43fc7 Merge branch 'feature/exp2' into develop 2017-09-13 18:02:12 +01:00
Simon Brooke 27f39e85ea Integer arithmetic works, real doesn't - yet. 2017-09-13 18:01:35 +01:00
Simon Brooke 648a4cd522 Add and multiply now work, but robustly. 2017-09-13 17:00:13 +01:00
simon 0826dcfdda Huge progress. Now actually working. 2017-09-13 15:58:59 +01:00
simon 9661ad339a This isn't working, but I think it's progress. 2017-09-13 12:50:20 +01:00
Simon Brooke 5dee093e65 All tests still pass and a lot of debugging junk is gone 2017-09-13 00:25:11 +01:00