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/

  1. :import Box (9 definitions, 9 tests)
  2. :import Char (8 definitions, 28 tests)
  3. :import Combinator (70 definitions, 47 tests)
  4. :import List (91 definitions, 98 tests)
  5. :import Logic (0 definitions, 0 tests)
  6. :import Math (36 definitions, 56 tests)
  7. :import Meta (34 definitions, 74 tests)
  8. :import Monad (13 definitions, 3 tests)
  9. :import Number (2 definitions, 3 tests)
  10. :import Option (8 definitions, 12 tests)
  11. :import Pair (13 definitions, 8 tests)
  12. :import Result (10 definitions, 18 tests)
  13. :import Set (5 definitions, 0 tests)
  14. :import String (26 definitions, 34 tests)

std/AIT

  1. :import Beavers (37 definitions, 0 tests)

std/Generic

  1. :import Number (21 definitions, 0 tests)

std/Logic

  1. :import Binary (18 definitions, 38 tests)
  2. :import Linear (11 definitions, 18 tests)
  3. :import Ternary (10 definitions, 30 tests)

std/Math

  1. :import Complex (15 definitions, 0 tests)
  2. :import Rational (22 definitions, 22 tests)
  3. :import Real (30 definitions, 16 tests)

std/Number

  1. :import Binary (52 definitions, 69 tests)
  2. :import Bruijn (6 definitions, 7 tests)
  3. :import Conversion (8 definitions, 8 tests)
  4. :import Pairing (2 definitions, 8 tests)
  5. :import Ternary (69 definitions, 119 tests)
  6. :import Unary (31 definitions, 39 tests)

std/Tree

  1. :import Balanced (24 definitions, 6 tests)
  2. :import Rose (14 definitions, 3 tests)

Total: 695 definitions, 773 tests