[Epigram] Re: [epigram-help] implicit arguments

Hi I hope you don't mind me copying this reply to the mailing list, as it may be of more general interest. Jonathan Lee wrote: I've been trying the tutorial and I'm coming to the part about the (vec x) function. I'm a bit confused on how the implicit syntax as when I input: ( n : Nat ;

[Epigram] Re: [epigram-help] implicit arguments

Conor McBride wrote: I also apologise for the way Mozilla Thunderbird arbitrarily turns my code into jigsaw puzzles. I hate computers. All the best Conor