ᛒ
Size: a a a
2020 August 05
ᛒ
@Mrsameman там смари еще можно stack ghci src/Language/Nominal/Binder.hs
ᛒ
но я тупо через идею запускал
ᛒ
хотя наверное оно тянет друг друга один х
ᛒ
R
хуйня кака ято короче
R
где воркшиты
IA
Бляяя
Oℕ
@odomontois пездец, у джейми траблы с вимом
он на хошкеле крутит номинальными контекстами?
ᛒ
он на хошкеле крутит номинальными контекстами?
пока свапабл показывает ток атомов
ᛒ
типо тайпкласс шо б их менять ну и сами атомы показал
Oℕ
Хочю сделать секвенции для жсона
R
бле еще хкод ставить
ᛒ
в идее прям делай
R
xcrun: error: active developer path ("/Applications/Xcode.app/Contents/Developer") does not exist
Use
See
Use
sudo xcode-select --switch path/to/Xcode.app to specify the Xcode that you wish to use for command line developer tools, or use xcode-select --install to install the standalone command line developer tools.See
man xcode-select for more details.R
я ща психнау
R
у мя 20 гигов тока свободно и хкод не хочет