Skip to content
Agda code for the course dependently typed functional languages - CB0683/2011-01
Verilog
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Extra
Lecture
.gitignore
Everything.agda
README.agda
README.txt

README.agda

------------------------------------------------------------------------------
-- Agda code for the course dependently typed functional languages -
-- CB0683/2011-01

-- Course home page: http://www1.eafit.edu.co/asicard/teaching/dtfl-CB0683/
------------------------------------------------------------------------------

-- The code has been tested with Agda 2.2.10 and the standard library
-- version 0.5.

module README where

-- Lectures
open import Lecture.NonDependentTypes
open import Lecture.PropositionsAsTypes
open import Lecture.InductionRecursion
open import Lecture.EquationalReasoning
open import Lecture.AlgebraicStructures
open import Lecture.LeibnizEquality
open import Lecture.InductiveFamilies
open import Lecture.ReasoningAboutPrograms
open import Lecture.ReasoningAboutPrograms.InsertSort
open import Lecture.GeneralRecursion
Something went wrong with that request. Please try again.