Pytheas comments

Repositories
Issues
Comments

Results 3 comments of


                                            Pytheas

Support arbitrary encodings for XML documents

Hi, have you mentioned this to the Rust developers? Philippe ----- Mail original ----- De: "Vladimir Matveev" [email protected] À: "netvl/rust-xml" [email protected] Cc: "Phiroc" [email protected] Envoyé: Mardi 2 Septembre 2014 10:25:30...

Can't use %runElab in 'let ... in' statement

NB : the 'compute' command should be removed in the source code above

You can't create Dependent Pairs with List of Strings, Strings, or Ints, but Nats are OK

Language : Idris 1.31 OS : MacOSX 10.14.4