search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Modularization of ELPI generation #522

Closed jfschaefer closed 4 years ago

jfschaefer commented 4 years ago

The goal of this was to clean up the ELPI generation code and allow for more customization of what gets generated. For that the exporter code has been separated into different handlers that can be added as needed.

I'm not at all sure about the design decisions I made. But I do believe that it is desirable to move towards a more modular architecture. Any feedback is welcome :)

jfschaefer commented 4 years ago

As discussed in the kwarc meeting, I will merge this.

lambdaTotoro commented 3 years ago

Do we still need the elpi2 branch for something or can that go?

jfschaefer commented 3 years ago

I just forgot to delete it after merging. It should be removed now

lambdaTotoro commented 3 years ago

It is, thank you. I was wondering if there's any unmerged changes lying around that I wasn't aware of, but apparently not so.