semantics by term rewriting

• Rapporteur: miyakawataku
• Propriétaire: miyakawataku
• Type: Demandes de fonctionnalités
• État: Atteints
• Composant: (Aucun)
• Jalon: (Aucun)
• Priorité: 5 - moyen
• Sévérité: 5 - moyen
• Résolution: Aucun
• Fichier: Aucun

Détails Répondre

semantics by term rewriting

Ticket History (3/4 Histories)

2023-04-16 16:42 Updated by: miyakawataku

• New Ticket "semantics by term rewriting" created

2023-05-02 22:43 Updated by: miyakawataku

• Propriétaire Update from (Aucun) to miyakawataku

2023-05-18 21:49 Updated by: miyakawataku

Commentaire Répondre

Working on issue_0047868-semantics-by-term-rewriting

2023-06-05 00:53 Updated by: miyakawataku

• État Update from Ouvert to Atteints

Commentaire Répondre

Closed by 082d37b7562740e542da91c1cfc3e8b86093a288