diff options
author | Marvin Borner | 2023-11-06 18:53:58 +0100 |
---|---|---|
committer | Marvin Borner | 2023-11-06 18:53:58 +0100 |
commit | 0a6c4aed69622751058da16f297e5a8f8fe01a1b (patch) | |
tree | f0e12021e7243987288b70a91e338490e30223f0 /bruijn.cabal | |
parent | 27f0cbf21e01448245d54f7818582c741d8cdafa (diff) |
Started unquote and improved quote
Diffstat (limited to 'bruijn.cabal')
-rw-r--r-- | bruijn.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bruijn.cabal b/bruijn.cabal index bb29aee..8914b59 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -25,6 +25,7 @@ data-files: std/List.bruijn std/Logic.bruijn std/Math.bruijn + std/Meta.bruijn std/Monad.bruijn std/Number.bruijn std/Option.bruijn |