diff options
| author | Akshay <[email protected]> | 2020-06-18 06:09:57 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2020-06-18 06:09:57 +0100 |
| commit | 3739ce5d1969df71f272d18a3ff8b5e13cd27f4f (patch) | |
| tree | a78ba875dbc37b23e5211e9aa6fa7293704110c3 /docs/index.html | |
| parent | 43032d7952c9dafce3ba8590db928cfd7edf5519 (diff) | |
new post: turing complete type systems
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index f745423..003835c 100644 --- a/docs/index.html +++ b/docs/index.html | |||
| @@ -36,6 +36,23 @@ | |||
| 36 | <tr> | 36 | <tr> |
| 37 | <td class=table-post> | 37 | <td class=table-post> |
| 38 | <div class="date"> | 38 | <div class="date"> |
| 39 | 18/06 — 2020 | ||
| 40 | </div> | ||
| 41 | <a href="/posts/turing_complete_type_systems" class="post-link"> | ||
| 42 | <span class="post-link">Turing Complete Type Systems</span> | ||
| 43 | </a> | ||
| 44 | </td> | ||
| 45 | <td class=table-stats> | ||
| 46 | <span class="stats-number"> | ||
| 47 | 0.8 | ||
| 48 | </span> | ||
| 49 | <span class=stats-unit>min</span> | ||
| 50 | </td> | ||
| 51 | </tr> | ||
| 52 | |||
| 53 | <tr> | ||
| 54 | <td class=table-post> | ||
| 55 | <div class="date"> | ||
| 39 | 09/05 — 2020 | 56 | 09/05 — 2020 |
| 40 | </div> | 57 | </div> |
| 41 | <a href="/posts/auto-currying_rust_functions" class="post-link"> | 58 | <a href="/posts/auto-currying_rust_functions" class="post-link"> |