Nov 03, 2010 19:12
Today I have
- Submitted some more documentation patches for Idris.
- Written a fragment of the Unix tool cat in Idris:
eachLine : (String -> IO ()) -> File -> IO ();
eachLine f file = do {
finished <- feof file;
if finished then return II -- II is the sole element of the unit type ()
else do {
line <- fread file
( Read more... )
computers,
programming,
pecowrimo,
unix,
beware the geek,
idris
Leave a comment
Comments 2
I spent a bit of time playing with the Play web framework last night - an equivalent to Django or Rails for Java and Scala. I'm planning a hackday on Sunday.
Which framework are you going with? So many great choices these days.
Reply
Reply
Leave a comment