dpiponi, 22 days ago Or specifically, I'm now sure it was this implementation: https://irram.uni-trier.de/ That transactional thing might be my own hallucination in which case I like it and maybe I'll implement it...
Or specifically, I'm now sure it was this implementation: https://irram.uni-trier.de/
That transactional thing might be my own hallucination in which case I like it and maybe I'll implement it...