readline package:Agda

Line reader. The line reader history is not stored between sessions.