The use and interpretation of these files may require:
- Agda
- The Agda Standard Library
- The Agda Prelude
The directory structure includes:
- OSCAR.agda-lib, an Agda library file for src.
- src, where research and development takes place.
develop
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||