hastabel, branch master (Ha)rdware (St)ructure (A)nd (Be)havior (L)ogic library. Prepares for solution printing... 2018-05-31T15:07:42+00:00 nsensfel SpamShield0@noot-noot.org 2018-05-31T15:07:42+00:00 42117720963873e57c3092d9249ffbfe5ca0aa18 






Adds a way to find the string matching an element.
2018-05-31T08:42:53+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-31T08:42:53+00:00

6fea30e26cf1486b9bb862c3f9a2079617c2332f












Merge branch 'master' of dreamhost:~/repositories/git/hastabel
2018-05-30T19:32:06+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2018-05-30T19:32:06+00:00

5c7c23330c2884d1266c33d543f0e2e5fabf696a












Might fix the missing 'is_in_path' issues.
2018-05-30T19:31:30+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2018-05-30T19:31:30+00:00

7e24107c80a570df3958fbce87b4ce1337bcb4ab












(forall ... (and ...)) -> (forall ... (implies ...))
2018-05-30T13:30:05+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-30T13:30:05+00:00

bba4a584979bbf128028a850dd11b3a25a98a967












Should fix missing relevant signatures.
2018-05-29T13:11:29+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-29T13:11:29+00:00

7633ea659a37ee06c80076f32505b0b584a89c7e












Trying (and failing) to use the async FF prop.
2018-05-29T12:00:13+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-29T12:00:13+00:00

2354098a6d9120852eaad36fa520bab4569dfc81












Signature aren't just collections, they're lists.
2018-05-28T11:29:40+00:00

nsensfel
SpamShield0@noot-noot.org

2018-05-28T11:29:40+00:00

08ef0f4dfe81e61bb41fd233b49028271ec3bee9












Fixes some toString...
2018-05-26T12:51:39+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2018-05-26T12:51:39+00:00

319dd36dc3e2ff7788230532d3fef90cc57c98ca












Adds some toString and equals.
2018-05-26T12:23:14+00:00

Nathanael Sensfelder
SpamShield0@MultiAgentSystems.org

2018-05-26T12:23:14+00:00

a8325138b0d5be98923dab3014cffdf83a1da832