LUG: Talk Tomorrow: Idris Programming Language; Officer Election Information Enclosed

Jack Rosenthal jrosenth at mines.edu
Wed Mar 21 09:19:04 MDT 2018


LUGgers,

Tomorrow, Sam and Sumner will be giving a Talk on the Idris programming
language, a programming language used to assist in proofs.

Oops... sorry for the typos:
s/programming language/rogue type system/g
s/proofs/being a pedantic discrete mathematics professor/

Come join us for great fun:

  Date: 2018-03-22
  Time: 6 PM
  Location: ALAMODE (BB 136)
  Dinner provided!

Also, the Linux Help Session will be right before at 5 PM in the same
room. Come learn how to setup Linux!

Finally, officer elections will be held Thursday, April 5th, during our
regular meeting. Please see this page for information on how to run:

https://lug.mines.edu/info/elections-lug.html

Jack

-- 
Jack M. Rosenthal                 ( http://inside.mines.edu/~jrosenth
Graduate Student, Computer Science )     http://jack.rosenth.al

Machine Learning is quite the buzzword. There's probably hipsters at
Galvanize right now sipping on bubbly drinks learning about it.
    -- Me

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://mailman.mines.edu/pipermail/lug/attachments/20180321/7e3e5bf5/attachment.sig>


More information about the LUG mailing list