diff options
| -rw-r--r-- | _layouts/ctf.html | 2 | ||||
| -rw-r--r-- | plt/index.md | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/_layouts/ctf.html b/_layouts/ctf.html index 0286880..9666a6f 100644 --- a/_layouts/ctf.html +++ b/_layouts/ctf.html @@ -14,7 +14,7 @@ layout: default <nav> <b><a href="/ctf">ctf</a></b> <a href="/plt">plt</a> - <a href="/software">software</a> + <a href="/web">web</a> </nav> <nav> <a href="/ctf/rev">rev</a> diff --git a/plt/index.md b/plt/index.md new file mode 100644 index 0000000..8cd6a05 --- /dev/null +++ b/plt/index.md @@ -0,0 +1,6 @@ +--- +layout: plt +title: programming language theory +--- + +# programming language theory |