<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 3 February 2014 08:43, Sergei Meshveliani <span dir="ltr">&lt;<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>&gt;</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   (&quot;203&quot;).</div></blockquote></div><br></div><div class="gmail_extra">After a couple of minutes, I see &quot;203&quot;.<br></div><div class="gmail_extra"><br clear="all">

<br>-- <br>Andrés<br>
</div></div>