Auto in Agda

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_14 ◽

2015 ◽

pp. 276-301 ◽

Author(s):

Pepijn Kokke ◽

Wouter Swierstra

Download Full-text