This repository was archived by the owner on Apr 15, 2025. It is now read-only.
First realease.
Pre-release
Pre-release
Equality (#3) * [ Dec.agda ] eq function for decidibility * [ Dec.agda ] eq and subs functions! :) * cosmetics.