2021-01-15 17:33:35 (GMT)
2021-01-15 17:34:52 (GMT)
Simon and I had a meeting today about the upcoming Brainiac-like paper or system description
2021-01-15 17:35:28 (GMT)
We agreed that in a lot of other papers things we would like to describe are already describe and that does not warrant a Brainiac-like paper
2021-01-15 17:36:5 (GMT)
However, there are two things that are missing:
2021-01-15 17:36:17 (GMT)
In the upcoming time we will work on both 1. and 2.
2021-01-15 17:39:5 (GMT)
The documentation could be online, hosted in the same repository so it's easier to keep in sync. If we can at least document the basic types (clause, term, subst, ordering, …), algos (unification, indexes), the architecture (the hooks so one can add their rules a bit everywhere, the extensions), and all or most of the inference rules, it'd be major progress.
2021-01-15 18:0:57 (GMT)
I guess a short sys desc would be a good idea then, but perhaps not at CADE 2021. ;)
2021-01-15 18:9:52 (GMT)
Indeed :smile:
2021-01-15 18:44:58 (GMT)
maybe LPAR? :)
who doesn't like tropical destinations… as a zoom backgound…
2021-01-15 18:50:53 (GMT)
Next LPAR is 2022. Traveling might be allowed again