donald-pinckney/donald-pinckney.github.io

Preparations for writing Idris code

Closed this issue · 0 comments

donald-pinckney commented

Test syntax highlighting, see if we can run code inline.