mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 00:31:57 +03:00
17 lines
411 B
Markdown
17 lines
411 B
Markdown
---
|
|
name: Language problem
|
|
about: Problem with the compiler, type checker or environment
|
|
title: ''
|
|
labels: ''
|
|
assignees: ''
|
|
|
|
---
|
|
|
|
If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example the better!
|
|
|
|
# Steps to Reproduce
|
|
|
|
# Expected Behavior
|
|
|
|
# Observed Behavior
|