Accueil Explorer Aide
Connexion
rain1
/
term-rewrite-system
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Branche: master
Branches Tags

Historique des commits

Auteur SHA1 Message Date
  rain1 f6cab16f05 tidied the code and added more peano tests. il y a 9 ans
  rain1 fc566f5f88 term rewrite system based on a pattern matching backend il y a 9 ans