mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-12-24 21:34:36 +03:00
18 lines
328 B
Markdown
18 lines
328 B
Markdown
|
---
|
||
|
|
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
|