[Agda] Implicit arguments inference

Roman effectfully at gmail.com
Mon Sep 26 06:27:01 CEST 2016

Previous message: [Agda] Implicit arguments inference
Next message: [Agda] Implicit arguments inference
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

My Agda (version 2.6.0) infers everything properly.

Previous message: [Agda] Implicit arguments inference
Next message: [Agda] Implicit arguments inference
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list