-- Advanced Functional Programming course 2016 Chalmers/GU
--
-- 2016-02-25 Guest lecture by Andreas Abel
--
-- Introduction to Agda
--
-- File 0: contents

module Everything where

import InsertionSortBool
import LengthIsortRewrite
import LengthIsortChain
import Logic
import Le
import InsertionSortLe