--- Day changed Thu Feb 15 2018
apostolisI am learning the FFI of AGDA. If one wants to call an agda function from Haskell, what will its type be?15/02 22:20
apostolisWhen I try to use an agda function that contains the product type, I get an error that that type does not have a COMPILE pragma.15/02 22:22
apostolisGiven that the compiler already translates agdas types into Haskell types, I do not see why I need to explicitly provide this COMPILE pragma.15/02 22:24

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!