Skip to content

Issues: Stand-In-Language/stand-in-language

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 14 Closed
28 Open 14 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

new telomare input/output frame
#122 opened Jul 3, 2024 by sfultong
step-by-step interpreter/debugger
#117 opened Oct 24, 2023 by sfultong
@hhefesto
nix build --rebuild says derivation might not be deterministic
#115 opened Oct 2, 2023 by hhefesto
2
support general recursive syntax
#94 opened Sep 1, 2022 by sfultong
1
HVM backend
#82 opened Mar 7, 2022 by sfultong
rename data types and functions
#76 opened Jul 22, 2021 by sfultong
3
refactor main function/unit test compilation and evaluation
#75 opened Jul 22, 2021 by sfultong
make decompiler more intelligent
#74 opened Jul 16, 2021 by sfultong
pattern matching for let bindings
#72 opened Jul 1, 2021 by sfultong
Function inverter
#71 opened Jun 30, 2021 by sfultong
1
Church numeral sizing (finding computation limits)
#69 opened Jun 27, 2021 by sfultong
1
Track down type checking bug
#60 opened Jun 8, 2021 by sfultong
Function type in case pattern shouldn't be allowed
#54 opened Feb 8, 2021 by hhefesto
implement pattern matching in parser
#49 opened Nov 11, 2020 by sfultong
10
fix dynamic abort checking
#48 opened Nov 10, 2020 by sfultong
ad hoc user-defined types
#47 opened Nov 10, 2020 by sfultong
15
LLVM: update to llvm-hs 9
#37 opened Jul 24, 2020 by hhefesto
7
LLVM: implement Trace instruction
#16 opened Feb 3, 2020 by hhefesto
LLVM: calculate the size of pairheap necessary to execute grammar
#14 opened Feb 3, 2020 by hhefesto
Refactor core grammar to use recursion-schemes
#13 opened Feb 3, 2020 by hhefesto
2
Remove if/then/else from builtin parsing, make ITE function in Prelude
#10 opened Feb 3, 2020 by hhefesto
create intermediate grammar with natural numbers
#9 opened Feb 3, 2020 by hhefesto
get cabal repl working
#7 opened Feb 3, 2020 by hhefesto
8
Memory management
#6 opened Feb 3, 2020 by hhefesto
1
Formal description of operational semantics
#5 opened Feb 3, 2020 by hhefesto
ProTip! Add no:assignee to see everything that’s not assigned.