Agda.Compiler.Epic.Smashing
Description
Smash functions which return something that can be inferred (something of a type with only one element)
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Agda.Compiler.Epic.Smashing
Description
Smash functions which return something that can be inferred (something of a type with only one element)