LUG: Talk Tomorrow: Idris Programming Language; Officer Election Information Enclosed
jrosenth at mines.edu
Wed Mar 21 09:19:04 MDT 2018
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:
Time: 6 PM
Location: ALAMODE (BB 136)
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:
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: not available
More information about the LUG