Pytheas
Pytheas
I get the following error messages when I read a DOS-UTF8 XML file in a Rust program that uses rust-xml, on Windows 7: ``` Running `target\rust-xml-w` Error: 1:2: Unexpected characters...
Hello, if you cut and paste the second Elab proof displayed at the bottom of the Automatic Theorem Proving documentation (http://docs.idris-lang.org/en/latest/proofs/interactive.html), into the second 'hole' in the example code, an...
A screenshot is missing in the Interactive Theorem Proving documentation (http://docs.idris-lang.org/en/latest/proofs/interactive.html), right after the following paragraph: ``` This has been normalised to 0 = 0 so now we have to...
# Steps to Reproduce ``` a : (t : Type ** List t) a = (String ** ["The answer is"]) b : (t : Type ** t) b = (String...
Idris version : 1.31 OS : MacOS X 10.14.4 # Steps to Reproduce Create a _let_ variable within a State Transition function's _do_ section and apply a function to a...
If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example...
If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example...
Hello, thefollowing code generates an « invalid default drawing » error in LispPad 2.1 on IPadOs 18.2: ``` import (lispkit draw chart bar)) (draw-bar-chart (list (bar "Jan" 0) (bar "Feb"...