Lambda Calculus

Semester 2020-1

This page will be continuously updated during the course!

Course Information

Lecturer

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>

Lectures

Group 001. Fridays, 17:00–19:00

Date	Classroom
January 31	29-209
February 7	38-405
February 14	38-303
February 28	38-303
March 6	38-303
March 13	38-303
April 3	Virtual
May 8	Virtual
May 15	Virtual
May 22	Virtual
May 29	Virtual

Lecture Material

Complementary slides [ pdf ]

Software

Robert Dockins (2007). Lambda Shell, a REPL for untyped lambda calculus.

For installing Lambda Shell with GHC 8.6.5 or 8.8.2 you can use the following instructions (if you use cabal-install ≥ 3.0.0.0 replace install with v1-install due to this issue):

         
           $ git clone https://github.com/robdockins/shellac
           $ cd shellac
           $ cabal install
           $ cd ..
           $ git clone https://github.com/asr/lambda-shell
           $ cd lambda-shell
           $ git checkout --track origin/ghc-8.8.1
           $ cabal install