 notoria
|
bd832d0fbb
|
Merge pull request #1 from triska/get_single_char
use get_single_char/1
|
2020-04-18 14:50:32 +02:00 |
|
|
notoria
|
99e1a5f117
|
Removed $raw_input_read_char
|
2020-04-18 13:54:18 +02:00 |
|
|
notoria
|
b35b49f7b3
|
get_single_char reads Tab as \t
|
2020-04-18 13:33:42 +02:00 |
|
|
notoria
|
5d064b18e6
|
get_single_char reads Enter as \n
|
2020-04-18 13:30:52 +02:00 |
|
|
notoria
|
11ea92288d
|
Moved get_single_char from builtins.pl to charsio.pl
|
2020-04-18 12:52:49 +02:00 |
|
|
notoria
|
1ea6ae9fd9
|
Added predicate for reading a single character
|
2020-04-18 11:49:28 +02:00 |
|