Dependent types at work in Agda [pdf]

1 points | by fanf2 14 hours ago