Portland's Cat Advancement Team (CAT) presents this meeting for our beloved command 'cat'

You use cat every day, but did you know there's more to it than simply displaying a file?

Jen Adams will present on the following topics:

cat history - considered harmful?

concatenation of files and stdin

pipes and redirects

command line options - who knew?

GNU vs BSD

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/

PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc