<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 3 February 2014 08:43, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1g0" style="overflow:hidden">I have this minor question:<br>
how to make the below code work under C-c C-n in emacs<br>
?<br>
<br>
-----------------------------------------------<br>
module Main where<br>
open import Foreign.Haskell<br>
open import IO.Primitive<br>
open import Data.String as Str using (toCostring)<br>
open import Data.Nat using (ℕ)<br>
open import Data.Nat.Show as NatShow using ()<br>
<br>
n : ℕ<br>
n = 203<br>
<br>
str = NatShow.show n<br>
<br>
main : IO Unit<br>
main = putStrLn (toCostring str)<br>
-------------------------------------------------<br>
<br>
<br>
This is on MAlonzo of January 26, 2014, Debian Linux.<br>
<br>
I take this into emacs, command C-c C-l<br>
C-c C-n<br>
str<br>
<br>
and expect to see the normalized value for str ("203").</div></blockquote></div><br></div><div class="gmail_extra">After a couple of minutes, I see "203".<br></div><div class="gmail_extra"><br clear="all">
<br>-- <br>Andrés<br>
</div></div>