bruijn standard library
This is the browsable standard library of the bruijn programming language. Follow any of the links below to see the source of the corresponding module.
std/
- :import Box (9 definitions, 9 tests)
- :import Char (8 definitions, 28 tests)
- :import Combinator (70 definitions, 47 tests)
- :import List (91 definitions, 98 tests)
- :import Logic (0 definitions, 0 tests)
- :import Math (36 definitions, 56 tests)
- :import Meta (34 definitions, 74 tests)
- :import Monad (13 definitions, 3 tests)
- :import Number (2 definitions, 3 tests)
- :import Option (8 definitions, 12 tests)
- :import Pair (13 definitions, 8 tests)
- :import Result (10 definitions, 18 tests)
- :import Set (5 definitions, 0 tests)
- :import String (26 definitions, 34 tests)
std/AIT
- :import Beavers (37 definitions, 0 tests)
std/Generic
- :import Number (21 definitions, 0 tests)
std/Logic
- :import Binary (18 definitions, 38 tests)
- :import Linear (11 definitions, 18 tests)
- :import Ternary (10 definitions, 30 tests)
std/Math
- :import Complex (15 definitions, 0 tests)
- :import Rational (22 definitions, 22 tests)
- :import Real (30 definitions, 16 tests)
std/Number
- :import Binary (52 definitions, 69 tests)
- :import Bruijn (6 definitions, 7 tests)
- :import Conversion (8 definitions, 8 tests)
- :import Pairing (2 definitions, 8 tests)
- :import Ternary (69 definitions, 119 tests)
- :import Unary (31 definitions, 39 tests)
std/Tree
- :import Balanced (24 definitions, 6 tests)
- :import Rose (14 definitions, 3 tests)
Total: 695 definitions, 773 tests