[go: nahoru, domu]
Skip to content

Issues: cicada-lang/cicada-plct

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

Clear current search query, filters, and sorts
13 Open 36 Closed
13 Open 36 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

[design] about sequence
#6 by xieyuheng was closed Sep 3, 2022 updated Sep 3, 2022
1
[feature] infer Cons to Pair -- if both car and cdr can be inferred
#30 by xieyuheng was closed Sep 13, 2022 updated Sep 13, 2022
1
[feature] the should use enrich
#47 by xieyuheng was closed Sep 13, 2022 updated Sep 13, 2022
1
[feature] infer Objekt -- if all properties can be inferred
#29 by xieyuheng was closed Sep 15, 2022 updated Sep 15, 2022
2
[feature] module system
#19 by xieyuheng was closed Sep 16, 2022 updated Sep 16, 2022
1
[bug] constClosure will block the substitution in application
#65 by LittleJianCH was closed Sep 16, 2022 updated Sep 16, 2022
1
[feature] REPL
#57 by xieyuheng was closed Sep 16, 2022 updated Sep 16, 2022
[feature] optional function return type
#32 by xieyuheng was closed Sep 16, 2022 updated Sep 16, 2022
2
[design] the syntax of function
#64 by LittleJianCH was closed Sep 17, 2022 updated Sep 17, 2022
[feature] can use double quoted string as key of object (like JSON)
#39 by xieyuheng was closed Sep 17, 2022 updated Sep 17, 2022
4
[code smell] repeated code in enrich -- Objekt and infer -- New
#31 by xieyuheng was closed Sep 17, 2022 updated Sep 17, 2022
[feature] improve ImplicitFn insertion -- be able to insert ImplicitFn over ImplicitFn
#76 by xieyuheng was closed Sep 19, 2022 updated Sep 19, 2022
1
[optimization] eager deepWalk -- like the elab paper
#87 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
1
[feature] ImplicitAp insertion in check mode
#75 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
[refactor] change naming convention to postfix always -- for example AnnotatedFn -> FnAnnotated
#84 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
1
[refactor] swap the concept about fold and unfold -- view array as unfolded
#85 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
2
[question] should readback take mod.solution as argument?
#88 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
3
[code smell] infer Ap -- Fulfilling type -- not symmetric
#83 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
1
[feature] solveType and solveByType for ImplicitPi, solveNeutral for ImplicitAp
#89 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
1
[feature] unification between Pi and ImplicitPi
#77 by xieyuheng was closed Sep 21, 2022 updated Sep 21, 2022
1
[question] if a value is evaluated in ctx1, is it safe to readback it in a different ctx2?
#74 by xieyuheng was closed Sep 22, 2022 updated Sep 22, 2022
6
[maybe] rename solve to unify
#92 by xieyuheng was closed Sep 27, 2022 updated Sep 27, 2022
2
[bug] implement freeNames to fix the scope BUG of ImplicitAp insertion
#72 by xieyuheng was closed Sep 28, 2022 updated Sep 28, 2022
9
[feature] implicit
#36 by xieyuheng was closed Sep 29, 2022 updated Sep 29, 2022
1
[feature] deepWalk
#78 by xieyuheng was closed Sep 29, 2022 updated Sep 29, 2022
2
ProTip! Updated in the last three days: updated:>2024-07-18.