[Agda] command line type checker vs interactive

[Sergei Meshveliani]

I am sorry. Probably, your first name is Wolfram, not Kahl.

------
Sergei 

On Wed, 2015-12-30 at 23:31 +0400, Sergei Meshveliani wrote:
> Kahl,
> 
> thank you for your advices.  
> [..]