Welcome to the source code repository for the University of Strathclyde CS316 “Functional Programming” course. This is a course designed to teach Haskell to undergraduate students. The written course ...

Every computer application and piece of software is made up of code, and that code needs to be written by someone. Often, those writers are skillful programmers who stay versed in common programming ...

This repository contains the code shown in the lectures for the NPTEL course on Getting Started with Competitive Programming. You can find the course website here. You are welcome to join the ...

Let's start by establishing some foundations for our study of programming languages. We'll see how to define programs as mathematical objects, write functions about them, and do some small proofs ...