- formatting
- images
- links
- math
- code
- blockquotes
•
•
•
•
•
-
Programing Pipelines Using Dependent Types
Sometimes, writing a large program is conceptually as simple as translating from a big unstructured input into a more and more structured output. In this post, we present a data structure to talk about such programs and demonstrate its use and flexbility using a single-pass compiler as case-study.
-
Govan Active Travel
A new proposal for Govan Active Travel strategy