GitHub / ziman/idris-py issues and pull requests
#11 - Add a line in the install documentation about first cloning the repo.
Issue -
State: open - Opened by emilyaherbert over 6 years ago
#10 - [QUESTION] Is it possible to use Effects in PIO?
Issue -
State: open - Opened by NickSeagull almost 8 years ago
#9 - Make idris-py compile using the latest Idris version
Pull Request -
State: closed - Opened by NickSeagull almost 8 years ago
- 1 comment
#8 - Corrected URLs in README.md to reflect files now living in lib and ex…
Pull Request -
State: closed - Opened by xoltar about 9 years ago
- 1 comment
#7 - Generated code should support Python 3
Issue -
State: open - Opened by xoltar about 9 years ago
#6 - Support building with stack, plus updated for current Idris changes
Pull Request -
State: closed - Opened by xoltar about 9 years ago
- 1 comment
#5 - Add IBCFormat argument to Via in Main.hs
Pull Request -
State: closed - Opened by markuspf about 9 years ago
- 1 comment
#4 - Added Stack and Latest Idris version
Pull Request -
State: closed - Opened by nickgeoca about 9 years ago
- 2 comments
#3 - LT for String would be useful to have.
Issue -
State: closed - Opened by jhegedus42 over 9 years ago
- 1 comment
#2 - The `Maybe` hack is incorrect
Issue -
State: open - Opened by ziman over 9 years ago
#1 - idris-codegen-python: rawSystem: runInteractiveProcess: exec: does not exist (No such file or directory)
Issue -
State: closed - Opened by jhegedus42 over 9 years ago
- 1 comment