diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-02-28 16:57:18 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-28 16:59:40 +0100 |
| commit | 1083b6016c427d7eb519f9238384b1ebe5395061 (patch) | |
| tree | 85da8a27ddcc8e0c6ac69e90fb2e03e294ce4c24 /chad-fast.cabal | |
| parent | e40e33bc16175b6a0180e3ef88d0a588819e6c37 (diff) | |
Remove stupid old nonworking cuda stub
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 8b212a5..c052a7d 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -28,7 +28,6 @@ library CHAD.Types Compile Compile.Exec - -- CompileCu Data Example Example.GMM @@ -42,7 +41,6 @@ library Language Language.AST Lemmas - -- PreludeCu Simplify Util.IdGen other-modules: |