search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

[meeting] [joint] 26.07.2024 #451

Closed deemp closed 1 month ago

deemp commented 1 month ago

@fizruk's notes:

Normalization rules (status at https://github.com/objectionary/normalizer/issues/436)

  1. R_COPY is better to rephrase in terms of context (current wrapping object)
  2. ξ-dispatch seems to be necessary for some atoms (e.g. Package, but also, I think, for some int operations).
  3. We expect to finalize everything before our next meeting (by Thursday, Aug 1)

Normalizer for streams (on a small Java program)

  1. Vladimir's opeo seems to not be working properly, see https://github.com/objectionary/normalizer/issues/379#issuecomment-2245619152

Normalizer polished release

  1. There are several (~30) relatively lightweight and small issues/features that we plan to work on and prepare a polished version of the latest release next week (by Wednesday, July 31).

Patent

  1. Working on a PPT, will send to Yegor (by Monday, July 29)

Fusor

  1. Will write down clarifications to the proposal (by Monday, July 29)

CPP paper

  1. We have slow progress, will focus on it after finalizing the rules. We plan to have an updated version of the paper ready a few weeks before CPP submission deadline (Sep 10), approximately by Aug 16