loa, branch HEAD

Add a syntax test

2024-05-09T13:47:41Z

commit 8da2cc4dbdb425d56384cce0612fbd6a4c8a47f4 parent 7d12dd1a564c85f780c8aed3b463b7e3bf46ab25 Author: Juan F. Meleiro Date: Thu, 9 May 2024 15:47:41 +0200 Add a syntax test

Finish implementing zen commands

2024-05-09T13:18:07Z

commit 7d12dd1a564c85f780c8aed3b463b7e3bf46ab25 parent 95ed9bfdc82db27442570086da1a85b4a4e656b9 Author: Juan F. Meleiro Date: Thu, 9 May 2024 15:18:07 +0200 Finish implementing zen commands

Add a partial implementation of a language for commanding gardeners

2024-05-09T10:57:30Z

commit 95ed9bfdc82db27442570086da1a85b4a4e656b9 parent 5a62b83bf91cab34389b7ab0e981c1804bc2ff54 Author: Juan F. Meleiro Date: Thu, 9 May 2024 12:57:30 +0200 Add a partial implementation of a language for commanding gardeners

Add tokenizer

2024-05-09T10:19:47Z

commit 5a62b83bf91cab34389b7ab0e981c1804bc2ff54 parent c478cb456d822ba3957eef09d5fe26af9c1a24b7 Author: Juan F. Meleiro Date: Thu, 9 May 2024 12:19:47 +0200 Add tokenizer

Improve build system by reducing redundant rebuilds

2024-05-09T08:53:54Z

commit c478cb456d822ba3957eef09d5fe26af9c1a24b7 parent 2d17ed2923abaa7cbfd924ef9101821cdf8e7d2a Author: Juan F. Meleiro Date: Thu, 9 May 2024 10:53:54 +0200 Improve build system by reducing redundant rebuilds

Remove old build system

2024-05-08T17:14:44Z

commit 2d17ed2923abaa7cbfd924ef9101821cdf8e7d2a parent 8419dd813c09022f358a68f1a751f402ebbe5fa9 Author: Juan F. Meleiro Date: Wed, 8 May 2024 19:14:44 +0200 Remove old build system

Add sup

2024-05-08T17:11:45Z

commit 8419dd813c09022f358a68f1a751f402ebbe5fa9 parent a9edbec57fdb9fc69af23507043fbf9fa76c15d0 Author: Juan F. Meleiro Date: Wed, 8 May 2024 19:11:45 +0200 Add sup

fix: Supid pop should use stupid pre-decrement

2024-05-08T15:59:58Z

commit a9edbec57fdb9fc69af23507043fbf9fa76c15d0 parent 337437a00c033fd7b9e1bd278af9b66a64cb8c55 Author: Juan F. Meleiro Date: Wed, 8 May 2024 17:59:58 +0200 fix: Supid pop should use stupid pre-decrement And stupid tests didn't catch it because stupid me didn't call them.

Add result field in gardeners

2024-04-27T03:12:46Z

commit 337437a00c033fd7b9e1bd278af9b66a64cb8c55 parent dea162504bae1c6a215381d5055fa5ad23fff8ab Author: Juan F. Meleiro Date: Sat, 27 Apr 2024 00:12:46 -0300 Add result field in gardeners

Finish implementing use test for model.c

2024-04-27T02:29:11Z

commit dea162504bae1c6a215381d5055fa5ad23fff8ab parent 2b705fa259384af58c6450f412fe47efd5fe3431 Author: Juan F. Meleiro Date: Fri, 26 Apr 2024 23:29:11 -0300 Finish implementing use test for model.c

Implement function for displaying a gardener's state

2024-04-26T21:42:04Z

commit 2b705fa259384af58c6450f412fe47efd5fe3431 parent 9d7c856c2d0f4190cf577369e93da9f5c9444f18 Author: Juan F. Meleiro Date: Fri, 26 Apr 2024 18:42:04 -0300 Implement function for displaying a gardener's state

Implement shape of model without checker functions

2024-04-26T20:24:10Z

commit 9d7c856c2d0f4190cf577369e93da9f5c9444f18 parent 85c2cf9d24765de0a96d19da6bd02c54e9fae58f Author: Juan F. Meleiro Date: Fri, 26 Apr 2024 17:24:10 -0300 Implement shape of model without checker functions

Add sketch of a metaschema module

2024-04-19T18:48:59Z

commit 85c2cf9d24765de0a96d19da6bd02c54e9fae58f parent bffab73a7f79fda23ab30cebbd302c6b68c8813c Author: Juan F. Meleiro Date: Fri, 19 Apr 2024 15:48:59 -0300 Add sketch of a metaschema module It doesn't quite work, so in the end I'll probably replace it, if at all, with something based on S-expressions.

Add interface for model

2024-04-11T21:13:50Z

commit bffab73a7f79fda23ab30cebbd302c6b68c8813c parent 44aaa0b9491720601ab0e600badec6a04b66941e Author: Juan F. Meleiro Date: Thu, 11 Apr 2024 18:13:50 -0300 Add interface for model

Add gardener module

2024-04-11T19:52:12Z

commit 44aaa0b9491720601ab0e600badec6a04b66941e parent 610c76f97cbccfd503c0b74882b5eabf1279517f Author: Juan F. Meleiro Date: Thu, 11 Apr 2024 16:52:12 -0300 Add gardener module

Ignore redo files

2024-03-30T15:54:47Z

commit 610c76f97cbccfd503c0b74882b5eabf1279517f parent 00916fc909459a4af75768f0d62dbac6a8c2495c Author: Juan F. Meleiro Date: Sat, 30 Mar 2024 12:54:47 -0300 Ignore redo files

Start new iteration, with new concepts

2024-03-30T15:54:02Z

commit 00916fc909459a4af75768f0d62dbac6a8c2495c parent e26850e8f35c3b20b02edfa9ffa5c9ed81f8a58a Author: Juan F. Meleiro Date: Sat, 30 Mar 2024 12:54:02 -0300 Start new iteration, with new concepts

Add associative list library

2024-02-27T17:59:38Z

commit e26850e8f35c3b20b02edfa9ffa5c9ed81f8a58a parent fbfe5b87f9dcd82eca0a2df6971bac9dcaca62f9 Author: Juan F. Meleiro Date: Tue, 27 Feb 2024 14:59:38 -0300 Add associative list library

Add interning library

2024-02-27T16:58:10Z

commit fbfe5b87f9dcd82eca0a2df6971bac9dcaca62f9 parent 8f5f7a310b42fc1144b6696334a175c68a38cbb3 Author: Juan F. Meleiro Date: Tue, 27 Feb 2024 13:58:10 -0300 Add interning library

Add a proto-specification of the data model

2024-02-07T18:12:32Z

commit 8f5f7a310b42fc1144b6696334a175c68a38cbb3 parent 13a9ecc93ef4334db0fca4aa33e38b2fa759ebfc Author: Juan F. Meleiro Date: Wed, 7 Feb 2024 15:12:32 -0300 Add a proto-specification of the data model

Add somewhat proper error handling to VM

2024-01-18T21:05:34Z

commit 13a9ecc93ef4334db0fca4aa33e38b2fa759ebfc parent 067e31f554978b45b84448433b18dc7ba98b6b0e Author: Juan F. Meleiro Date: Thu, 18 Jan 2024 18:05:34 -0300 Add somewhat proper error handling to VM

Implement a program tape

2024-01-18T19:07:27Z

commit 067e31f554978b45b84448433b18dc7ba98b6b0e parent a272042d4ccfb321eafadf888d011186be54e423 Author: Juan F. Meleiro Date: Thu, 18 Jan 2024 16:07:27 -0300 Implement a program tape

Add tactics for assumptions and proofs, plus reordering code

2024-01-07T17:37:15Z

commit a272042d4ccfb321eafadf888d011186be54e423 parent abcebef5736f7d34d55dd84d41428f9aa87bc7f0 Author: Juan F. Meleiro Date: Sun, 7 Jan 2024 14:37:15 -0300 Add tactics for assumptions and proofs, plus reordering code Currently, proofs are *not* verified. So that this is implemented, either a resolution mechanism will need to be added when reaching closed goals, or some data to refs so that the check is made at tactic application time.

Add logic relating to attitudes

2024-01-06T22:16:34Z

commit abcebef5736f7d34d55dd84d41428f9aa87bc7f0 parent 73b5c1b66e955db70e1c34db37636ab534c94fb6 Author: Juan F. Meleiro Date: Sat, 6 Jan 2024 19:16:34 -0300 Add logic relating to attitudes

Add goals and tactics for building terms

2024-01-06T21:16:43Z

commit 73b5c1b66e955db70e1c34db37636ab534c94fb6 parent 4427db8f18e506b5b1ab4c23964b3f0518850a98 Author: Juan F. Meleiro Date: Sat, 6 Jan 2024 18:16:43 -0300 Add goals and tactics for building terms

Add writings and restructure dirs

2024-01-06T16:35:11Z

commit 4427db8f18e506b5b1ab4c23964b3f0518850a98 parent ccde1ec5e431ac13cb0028fa8a9510a41cff333e Author: Juan F. Meleiro Date: Sat, 6 Jan 2024 13:35:11 -0300 Add writings and restructure dirs

Add first working mockup of a LoA VM

2024-01-06T16:32:28Z

commit ccde1ec5e431ac13cb0028fa8a9510a41cff333e Author: Juan F. Meleiro Date: Sat, 6 Jan 2024 13:32:28 -0300 Add first working mockup of a LoA VM