-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
The Foreign Function Interface
about: ZilchAnything about ZilchAnything about Zilchkind: todoThins to doThins to dotopic: grammarGrammar rules seem incomplete or missingGrammar rules seem incomplete or missingStatus: Open.#13 In zilch-lang/specification;Type classes and named implementations
about: ZilchAnything about ZilchAnything about Zilchkind: todoThins to doThins to dotopic: grammarGrammar rules seem incomplete or missingGrammar rules seem incomplete or missingtopic: typecheckingTyping rules are not well described or missingTyping rules are not well described or missingStatus: Open.#9 In zilch-lang/specification;Formally verify the type systems of Zilch and N⋆
about: N*Anything about N*Anything about N*about: ZilchAnything about ZilchAnything about Zilchkind: todoThins to doThins to dotopic: typecheckingTyping rules are not well described or missingTyping rules are not well described or missingStatus: Open.#7 In zilch-lang/specification;Up-to-dateness issue: both languages evolve quite fast
about: N*Anything about N*Anything about N*about: ZilchAnything about ZilchAnything about ZilchStatus: Open.#6 In zilch-lang/specification;Algebraic effect constructs for Zilch
about: ZilchAnything about ZilchAnything about Zilchkind: todoThins to doThins to dotopic: grammarGrammar rules seem incomplete or missingGrammar rules seem incomplete or missingtopic: typecheckingTyping rules are not well described or missingTyping rules are not well described or missingStatus: Open.#4 In zilch-lang/specification;Write a specification for the whole project
about: N*Anything about N*Anything about N*about: ZilchAnything about ZilchAnything about ZilchStatus: Open.#2 In zilch-lang/specification;