mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-08-09 16:48:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Deploy to GitHub pages

Browse Source
This commit is contained in:
github-actions[bot]
2026-06-02 05:20:26 +00:00
committed by GitHub
commit e99fed13ad
870 changed files with 350356 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
drnim.idx Normal file
View File

@@ -0,0 +1,17 @@
markupTitle DrNim User Guide drnim.html DrNim User Guide 0
heading Introduction drnim.html#introduction Introduction 0
heading Installation drnim.html#installation Installation 0
heading Motivating Example drnim.html#motivating-example Motivating Example 0
heading Pre-, postconditions and invariants drnim.html#preminus-postconditions-and-invariants Pre-, postconditions and invariants 0
idx requires drnim.html#requires_1 Pre-, postconditions and invariants 0
idx ensures drnim.html#ensures_1 Pre-, postconditions and invariants 0
idx invariant drnim.html#invariant_1 Pre-, postconditions and invariants 0
idx assume drnim.html#assume_1 Pre-, postconditions and invariants 0
heading Invariant drnim.html#preminus-postconditions-and-invariants-invariant Invariant 0
heading Requires drnim.html#preminus-postconditions-and-invariants-requires Requires 0
idx precondition drnim.html#precondition_1 Requires 0
heading Ensures drnim.html#preminus-postconditions-and-invariants-ensures Ensures 0
idx postcondition drnim.html#postcondition_1 Ensures 0
heading Assume drnim.html#preminus-postconditions-and-invariants-assume Assume 0
heading Example: insertionSort drnim.html#examplecolon-insertionsort Example: insertionSort 0
heading Syntax of propositions drnim.html#syntax-of-propositions Syntax of propositions 0