Skip to content

dbosk/literate-programming

Repository files navigation

GitHub Configuration

This directory contains GitHub-specific configuration files for the literate-programming project.

Files

copilot-instructions.md

Comprehensive instructions for GitHub Copilot that provide context about:

  • Project purpose and structure
  • Technology stack (LaTeX, Noweb, Make)
  • File types and conventions
  • Build processes and common tasks
  • Academic/educational context
  • Development workflow and best practices
  • Testing and validation guidelines
  • Error handling patterns
  • Security and academic integrity considerations
  • Example patterns and code templates

copilot-workspace.yml

Workspace configuration for GitHub Copilot including:

  • Language preferences
  • Important file patterns
  • Source directories
  • Build and test commands
  • Project conventions
  • Tools and utilities used

CODEOWNERS

Defines code ownership patterns for the repository to help with:

  • Review assignments
  • Project structure understanding
  • Responsibility mapping

Additional Files

../.copilotignore

Located in the root directory, this file excludes build artifacts and temporary files from Copilot analysis.

Usage

These files are automatically detected and used by GitHub Copilot to provide better context-aware suggestions when working with this repository.

About

Material on literate programming

Resources

Stars

Watchers

Forks

Contributors 2

  •  
  •