search

gelisam / klister

an implementation of stuck macros
BSD 3-Clause "New" or "Revised" License
129 stars 11 forks source link

Implement Stack Traces #231

Open doyougnu opened 7 months ago

doyougnu commented 7 months ago

Once #223 lands this is just a matter of defining the output and a pretty instance for Konts