我在Emacs模式下使用agda。我正试图开始一个依赖立方体图书馆的项目。我想导入模块Cubical.Core.Everything。我只写了以下几篇
{-# OPTIONS --without-K #-}
open import Cubical.Core.Everything
当我试图加载文件时,我会收到以下错误
/home/rymndbkr/myHoTT/Agda/intro.agda:3,1-36
Importing module Cubical.Core.Everything using the
--cubical/--erased-cubical flag from a modul
我想对以44100赫兹到40.000赫兹录制的单声道录音重新采样。
下面的代码可以工作,但librosa似乎保存在立体声,使文件大小的两倍,这是不需要的,我有很多样本要处理。
所以我需要以单声道格式保存结果。
代码:
# resampling a .wav file to a specific sample rate
import os
import librosa
import resampy
# this is the sample reate we want
sr_target = 44100
directory_in_str = '/home/hugo/test/