2 search results for "author:"Francesco Zappa Nardelli""

Showing 1 - 2
  1. 2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    12 Dec 2022
  2. A tool for writing definitions of programming languages and calculi
    0.33
    BSD-3-Clause; LGPL-2.1-only
    Used by 2 other packages
    18 Jan 2023