Skip to content

Issues: sfultong/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

18 Open 5 Closed
18 Open 5 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

mini-repl doesn't resolve names for type inference
#40 opened Jun 24, 2021 by sfultong
Track down type checking bug
#39 opened Jun 8, 2021 by sfultong
Fix partial evaluation
#36 opened Nov 3, 2019 by sfultong
Parsing: optimize reference of top-level bindings
#35 opened Sep 20, 2018 by sfultong
1
make parser capable of treating AST instuctions as first-class symbols
#29 opened Jun 24, 2018 by sfultong
4
Memoization
#28 opened Jun 24, 2018 by sfultong
Formal description of operational semantics
#26 opened Jun 22, 2018 by cocreature
Memory management
#25 opened Jun 22, 2018 by cocreature
1
get cabal repl working
#16 opened Jun 14, 2018 by sfultong
optimize two forms of lambda
#15 opened Jun 14, 2018 by sfultong
create intermediate grammar with natural numbers
#14 opened Jun 14, 2018 by sfultong
@sfultong
Remove if/then/else from builtin parsing, make ITE function in Prelude
#13 opened Jun 14, 2018 by sfultong
research simpler formulation of Church numerals
#12 opened Jun 14, 2018 by sfultong
Fix whitespace/indent parsing
#10 opened Jun 14, 2018 by sfultong
Refactor core grammar to use recursion-schemes
#8 opened Jun 14, 2018 by sfultong
1
LLVM: calculate the size of pairheap necessary to execute grammar
#7 opened Jun 14, 2018 by sfultong
Figure out why running tictactoe with LLVM segfaults
#6 opened Jun 14, 2018 by sfultong
LLVM: implement Trace instruction
#5 opened Jun 14, 2018 by sfultong
ProTip! Exclude everything labeled bug with -label:bug.