[Agda] numeric literals

Nils Anders Danielsson nad at cse.gu.se
Wed Dec 20 22:22:42 CET 2017


On 2017-12-20 17:27, Sergei Meshveliani wrote:
> Can anybody, please, explain, how does this occur that numeric literals
> are lost?
> How to return them?

http://agda.readthedocs.io/en/v2.5.3/language/literal-overloading.html

-- 
/NAD


More information about the Agda mailing list