paulcadman / the-little-typer

Resources for "The Little Typer" study group

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The Little Typer Study Group

Resources for "The Little Typer" study group

Getting Started

  • Install Racket
  • Install the Pie language raco pkg install pie

Further information about installing Pie can be found at https://github.com/the-little-typer/pie.

Exercises

This repository contains exercises for material in the book. We discussed solutions to the exericses in the study sessions. Example solutions to the exercises are given in the repository, they are the files with the -crib prefix.

The book states that "An understanding of recursive functions over non-nested lists and non-negative numbers is all you need to understand this book". The exercises in recursion.rkt aims to provide you with the prerequisite knowledge. These exercises were taken from The Little Schemer book.

The remaining exercises are numbered according to the chapter they correspond to. For example exercise 8.2 assumes that you've read up to chapter 8 of The Little Typer

Acknowledgments

Exercise sets 3.x, 4.x and 5.x were adapted from exercise sheets from a course at Indiana University. All subsequent exercises were compiled by Paul Cadman.

About

Resources for "The Little Typer" study group


Languages

Language:Racket 84.3%Language:Coq 15.7%