André Videla

Here is a list of places I’ve frequented and thought were noteworthy if you like sitting down and reading a book, writing, or working on a laptop while having access to good coffee or snacks.

I’ve recently implemented binding application as a language feature in Idris.

Sometimes, writing a large program is conceptually as simple as translating from a big unstructured input into a more and more structured output.

This is a report building on the designs provided by the connecting greater govan project to facilitate active travel through the Govan area and develop it economically and culturally.