⌂Bosatsu Documentation

0.0.0+1-f8af9403*

Bosatsu Design Philosophy and Goals
Design Docs
- Pattern Guards Design
- Issue 1628: Pattern Value Reuse in TypedExprNormalization
Getting started (new repo)
Language Guide
Recursion in Bosatsu
Generating JSON from Bosatsu Values
Debugging with lib eval
Compiling to Python
Core Alpha API

Bosatsu Documentation

⌂Bosatsu Documentation

0.0.0+1-f8af9403*

Bosatsu Design Philosophy and Goals
Design Docs
- Pattern Guards Design
- Issue 1628: Pattern Value Reuse in TypedExprNormalization
Getting started (new repo)
Language Guide
Recursion in Bosatsu
Generating JSON from Bosatsu Values
Debugging with lib eval
Compiling to Python
Core Alpha API

Bosatsu Documentation
Core Alpha API
Bosatsu/Bool

`Bosatsu/Bool`

Index

Values: not

Values

`not`

def not(b: Bool) -> Bool

The source code for this page can be found here.

Next: Bosatsu/Char

On this page:

Bosatsu/Bool
- Index
- Values