Marko Doko

icon indicating a website link http://www.macs.hw.ac.uk/~md2021/

icon company Heriot-Watt University icon location Edinburgh icon location Assistant professor of Computer Science.

Results 1 issues of Marko Doko

des_indefinite_description

Adds a tactic for easier work with constrictive_indefinite_description, which I needed reasonably often in a couple of my recent projects. To me, the tactic has a distinct des_something feel about...