[Agda] Using .Xcompose file on Fedora 21

Nicolas Pouillard np at nicolaspouillard.fr
Fri May 1 22:53:23 CEST 2015


On 04/30/2015 07:10 PM, Colin Adams wrote:
> I've been looking at
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.XCompose, and
> trying to use a .XCompose file like it suggests.
>
> It's not working.
Hi!

Here is what I'm using https://github.com/np/xcompose

-- 
Best regards,
-- NP



More information about the Agda mailing list