Skip to content

High Level Overview of all the main Types in Wikind? #424

Discussion options

You must be logged in to vote

All files in Wikind are affected by the fact that capitalized identifiers in Kind2 such as 'I.Like.Pudding' are converted to paths, e.g. 'I/Like/Pudding.kind2' if Kind2 cannot find the entry in the current "book". We use this approach because we do not need to build everything, just the files we use rn. Currently we are writing a guide for the whole language, but Kind is still far from a complete language, as we are trying to move fast and fix problems that breaks the entire Wikind.

Replies: 2 comments

Comment options

You must be logged in to vote
0 replies
Answer selected by algebraic-dev
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants