Commit graph

2 commits

Author SHA1 Message Date
sebastianselander
9495c3b12a Fixed error message 2023-05-15 13:45:50 +02:00
sebastianselander
8b92dd9194 Added η-expander module and removed EAdd from grammar. 2023-05-12 16:25:48 +02:00