edwinb/blodwen issues and pull requests

#28 - Fix link to install guidelines

Pull Request - State: open - Opened by b-studios over 5 years ago

#27 - Literate programming

Pull Request - State: open - Opened by petithug over 5 years ago

#26 - Minor makefile improvements

Pull Request - State: open - Opened by cnd over 5 years ago

#26 - Minor makefile improvements

Pull Request - State: open - Opened by cnd over 5 years ago

#25 - Escape backslashes in ${PREFIX} for Windows builds

Pull Request - State: closed - Opened by Kazark over 5 years ago - 9 comments

#24 - Add .gitattributes file for syntax highlighting

Pull Request - State: open - Opened by vmchale over 5 years ago

#24 - Add .gitattributes file for syntax highlighting

Pull Request - State: open - Opened by vmchale over 5 years ago

#23 - Chez shebang: use "scheme-script" instead of "scheme --script"

Pull Request - State: open - Opened by jmitchell over 5 years ago

#23 - Chez shebang: use "scheme-script" instead of "scheme --script"

Pull Request - State: open - Opened by jmitchell over 5 years ago

#22 - Add space after the string to keep consistent with Idris REPL.

Pull Request - State: closed - Opened by zenntenn almost 6 years ago - 2 comments

#22 - Add space after the string to keep consistent with Idris REPL.

Pull Request - State: closed - Opened by zenntenn almost 6 years ago - 2 comments

#21 - Add preliminary ide socket support

Pull Request - State: closed - Opened by cfhammill almost 6 years ago - 3 comments

#21 - Add preliminary ide socket support

Pull Request - State: closed - Opened by cfhammill almost 6 years ago - 3 comments

#20 - Dependancy on the maketotal branch of Idris-dev

Pull Request - State: closed - Opened by zenntenn almost 6 years ago

#19 - Fixed inconsistency between REPL and -x for casting strings to nums

Pull Request - State: closed - Opened by gyroninja almost 6 years ago - 1 comment

#19 - Fixed inconsistency between REPL and -x for casting strings to nums

Pull Request - State: closed - Opened by gyroninja almost 6 years ago - 1 comment

#18 - Fixed being able to inject arbitrary scheme using the lib directive

Pull Request - State: closed - Opened by gyroninja almost 6 years ago - 1 comment

#18 - Fixed being able to inject arbitrary scheme using the lib directive

Pull Request - State: closed - Opened by gyroninja almost 6 years ago - 1 comment

#17 - Mention (current) lack of socket support in IDE mode

Pull Request - State: closed - Opened by cfhammill almost 6 years ago - 1 comment

#17 - Mention (current) lack of socket support in IDE mode

Pull Request - State: closed - Opened by cfhammill almost 6 years ago - 1 comment

#16 - Add make clean target

Pull Request - State: closed - Opened by mokshasoft almost 6 years ago - 1 comment

#16 - Add make clean target

Pull Request - State: closed - Opened by mokshasoft almost 6 years ago - 1 comment

#15 - add shell.nix

Pull Request - State: open - Opened by shmish111 almost 6 years ago - 5 comments

#14 - WIP: Inline documentation/comments

Pull Request - State: closed - Opened by AdamBrouwersHarries almost 6 years ago - 9 comments

#14 - WIP: Inline documentation/comments

Pull Request - State: closed - Opened by AdamBrouwersHarries almost 6 years ago - 9 comments

#13 - Fix non-exhaustive pattern

Pull Request - State: closed - Opened by mmhelloworld almost 6 years ago - 1 comment

#13 - Fix non-exhaustive pattern

Pull Request - State: closed - Opened by mmhelloworld almost 6 years ago - 1 comment

#12 - Abstract over FFI

Pull Request - State: open - Opened by nightscape almost 6 years ago - 14 comments

#11 - Added new command line flag for showing path information.

Pull Request - State: closed - Opened by jfdm almost 6 years ago - 2 comments

#11 - Added new command line flag for showing path information.

Pull Request - State: closed - Opened by jfdm almost 6 years ago - 2 comments

#10 - Improve notes for installing, and Makefile fur testing.

Pull Request - State: closed - Opened by jfdm almost 6 years ago - 6 comments

#9 - Add Dockerfile for building

Pull Request - State: open - Opened by nightscape about 6 years ago - 5 comments

#8 - Fix typo and grammatical inconsistency

Pull Request - State: closed - Opened by jdevuyst about 6 years ago - 1 comment

#8 - Fix typo and grammatical inconsistency

Pull Request - State: closed - Opened by jdevuyst about 6 years ago - 1 comment

#7 - Add build artifacts to .gitignore

Pull Request - State: closed - Opened by jdevuyst about 6 years ago - 1 comment

#7 - Add build artifacts to .gitignore

Pull Request - State: closed - Opened by jdevuyst about 6 years ago - 1 comment

#6 - Mention self-hosted compiler

Pull Request - State: closed - Opened by nightscape about 6 years ago - 2 comments

#6 - Mention self-hosted compiler

Pull Request - State: closed - Opened by nightscape about 6 years ago - 2 comments

#5 - Suggesting tweaks

Pull Request - State: closed - Opened by ggreif about 6 years ago - 1 comment

#5 - Suggesting tweaks

Pull Request - State: closed - Opened by ggreif about 6 years ago - 1 comment

#4 - Implementation notes formatting & typo

Pull Request - State: closed - Opened by kevinboulain about 6 years ago - 1 comment

#4 - Implementation notes formatting & typo

Pull Request - State: closed - Opened by kevinboulain about 6 years ago - 1 comment

#3 - Turn code into markdown code blocks for easier readability

Pull Request - State: closed - Opened by ahmadsalim about 6 years ago - 3 comments

#3 - Turn code into markdown code blocks for easier readability

Pull Request - State: closed - Opened by ahmadsalim about 6 years ago - 3 comments

#2 - update gitignore

Pull Request - State: closed - Opened by doofin over 6 years ago - 2 comments

#2 - update gitignore

Pull Request - State: closed - Opened by doofin over 6 years ago - 2 comments

#1 - Add tests makefile

Pull Request - State: closed - Opened by petithug over 6 years ago - 2 comments

GitHub / edwinb/blodwen issues and pull requests