Error in user YAML: (<unknown>): found a tab character where an indentation space is expected while scanning a block scalar at line 5 column 18
---
author:
- LI-YAO XIA
- PHILIP WADLER
title: Formalizing gradual algebraic effects in Agda
header-includes: |
<style>
.center{
text-align:center;
}
</style>
---html/Core.html