diff options
| author | Marvin Borner | 2024-09-06 14:48:23 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-09-06 14:48:23 +0200 |
| commit | f7be717a95009da05e5097a7e8a5b565f66495a0 (patch) | |
| tree | c7ea9d35c3e569e3683a66abaf74d0192abb1293 /bruijn.cabal | |
| parent | f31d7645399702e52337e63a1a7acc3776e33a77 (diff) | |
Synced cabal
Diffstat (limited to 'bruijn.cabal')
| -rw-r--r-- | bruijn.cabal | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bruijn.cabal b/bruijn.cabal index 18de000..20732b9 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -21,6 +21,8 @@ data-files: std/Box.bruijn std/Char.bruijn std/Combinator.bruijn + std/generate_map.py + std/IO.bruijn std/List.bruijn std/Logic.bruijn std/Math.bruijn @@ -35,19 +37,27 @@ data-files: std/test_all.sh std/AIT/Beavers.bruijn std/Generic/Number.bruijn + std/List/Church.bruijn + std/List/Parigot.bruijn std/Logic/Binary.bruijn std/Logic/Linear.bruijn std/Logic/Ternary.bruijn std/Math/Complex.bruijn std/Math/Rational.bruijn std/Math/Real.bruijn + std/Monad/List.bruijn + std/Monad/State.bruijn std/Number/Binary.bruijn std/Number/Bruijn.bruijn std/Number/Conversion.bruijn std/Number/Pairing.bruijn + std/Number/Parigot.bruijn + std/Number/Scott.bruijn std/Number/Ternary.bruijn std/Number/Unary.bruijn + std/Number/Wadsworth.bruijn std/Tree/Balanced.bruijn + std/Tree/Finger.bruijn std/Tree/Rose.bruijn source-repository head @@ -57,8 +67,12 @@ source-repository head library exposed-modules: Binary + Config + Conversion + Error Eval Helper + Humanification Optimizer Parser Reducer |