3 Commits

Author	SHA1	Message	Date
aiya000	44f1bccb6a	Update help ... Write about supporting idris	2016-06-14 01:08:32 +09:00
bounceme	5ab8e708a5	Changes to support js with the node repl.	2016-02-04 22:43:57 -08:00
aiya000	e002ba3558	Create Japanese document ... Fix wrong default keymappings	2016-01-03 16:45:09 +09:00