Miscellaneous

Hello! Here are some miscellaneous things to look at.

Some Links to Click

Here are some websites worth checking out.

• Type Theory Forall - A cool podcast on PLT and Type Theory.
• Nyasa - Volunteer Organisation in IIT Gandhinagar focussed on helping impoverished communities near the campus.