Next: , Previous: , Up: Top   [Index]

(version: 1.1.2)

9 Minor-mode buffers for Cedille

Cedille uses several extra buffers to provide information about the processed Cedille source file:

• inspect buffer  Provides information about the currently selected node
• context buffer  Displays the types and kinds of all variables in the scope of the selected node
• summary buffer  Displays the types and kinds of every top-level entity in the file
• meta-vars buffer  Displays the meta-variables at the current position in an application spine
• beta-reduce mode  Beta-reduction explorer

(version: 1.1.2)

10 Common commands

M-c

Copy the contents of the current buffer to the scratch buffer

+

Increase the size of the buffer by one line

-

Decrease the size of the buffer by one line

=

Reset the buffer’s size

f

Moves to the next defined variable in the buffer

b

Moves to the previous defined variable in the buffer

a

Moves to the first defined variable in the buffer

e

Moves to the last defined variable in the buffer

j

Jumps to the definition of the selected variable