Name		Name	Last commit message	Last commit date
Latest commit History 253 Commits
dissertation		dissertation
docs		docs
miscellanies		miscellanies
presentation		presentation
src		src
status_report		status_report
summer		summer
.gitignore		.gitignore
lift.agda-lib		lift.agda-lib
plan.md		plan.md
readme.md		readme.md
timelog.md		timelog.md

Repository files navigation

Level Four Individual project: Proving the Correctness of Rewrite Rules in LIFT's Rewrite-Based System

Website: https://xyunknown.github.io/individual-project/

Report: https://xyunknown.github.io/individual-project/2335466q.pdf

Overview

timelog.md The time log for your project.
plan.md A skeleton week-by-week plan for the project.
src/ source code for your project
status_report/ the status report submitted in December
miscellanies/meetings/ Records of the meetings you have during the project.
miscellanies/proposal/ the project proposal
docs/ the GitHub page of the project
dissertation/ source and for your project dissertation
presentation/ your presentation

Dependencies

Agda version: v2.6.1
Agda standard library version: agda-stdlib-1.2
Agda official website: The Agda Wiki
Agda installation instruction: installing Agda

Use this project as Agda library:

in ~/.agda/defaults add: lift
in ~/.agda/libraries add: YOURLOCATION/individual-project/lift.agda-lib

About

University of Glasgow level 4 individual project

xyunknown.github.io/individual-project/

Report repository

Releases

No releases published

Packages

Contributors

Languages