Discussion:
[Agda] [Fwd: Re: I want implicit coercions in Agda]
Sergei Meshveliani
2018-11-19 16:59:49 UTC
Permalink
Loading...