hashc icon indicating copy to clipboard operation
hashc copied to clipboard

Published 20 hours ago • verified publisher icon hash-org

tir: Implement normalisation by evaluation

Open kontheocharis opened this issue 11 months ago • 0 comments

Replace current substitution-based evaluation with NbE into some semantic domain.

Steps:

  1. Figure out what the semantic domain should be
  2. How to represent it? Separate data structure probably..
  3. Implement it

kontheocharis avatar Mar 16 '24 16:03 kontheocharis