edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity

Update issue templates

Browse Source
This commit is contained in:
Edwin Brady 2019-07-17 19:10:04 +01:00 committed by GitHub
parent aa3f4eb0be
commit d61e60c9e0
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
.github/ISSUE_TEMPLATE/language-problem.md vendored Normal file
View File

@ -0,0 +1,17 @@
---
name: Language problem
about: Problem with the compiler, type checker or environment
title: ''
labels: ''
assignees: ''
---
Please attach complete source files that exhibit the issue in addition
to quoting from them here. The smaller the example the better!
# Steps to Reproduce
# Expected Behavior
# Observed Behavior