8 lines
No EOL
297 B
JSON
8 lines
No EOL
297 B
JSON
{
|
|
"desc": "Introductions to the building blocks of dependently typed programs.</p><p>The posts in this series are 'living posts', they will be referenced as library modules by future posts, and will be updated as needs change.",
|
|
"post-ids": [
|
|
7,
|
|
8
|
|
],
|
|
"title": "Dependent Nuggets"
|
|
} |