[Agda] [Fwd: Re: I want implicit coercions in Agda]

Sergei Meshveliani mechvel at botik.ru
Mon Nov 19 17:59:49 CET 2018

Previous message (by thread): [Agda] An error function and totality
Next message (by thread): [Agda] Some mistakes in the code on the 13th page of Pierre Kraft's thesis.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

-------------- next part --------------
An embedded message was scrubbed...
From: Sergei Meshveliani <mechvel at botik.ru>
Subject: Re: [Agda] I want implicit coercions in Agda
Date: Mon, 19 Nov 2018 19:57:11 +0300
Size: 3865
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181119/e167b4ce/attachment.mht>

Previous message (by thread): [Agda] An error function and totality
Next message (by thread): [Agda] Some mistakes in the code on the 13th page of Pierre Kraft's thesis.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list