Для этого сайта требуется поддержка JavaScript.
Обзор
Помощь
Вход
Everything-I-Know-About-Types
/
unifyt
Следить
1
В избранное
0
Форкнуть
0
Вы уже форкнули unifyt
Код
Задачи
Запросы на слияние
Пакеты
Проекты
Релизы
Вики
Активность
10
коммитов
1
ветка
0
Теги
master
Перейти к файлу
Добавить файл
Новый файл
Загрузить файл
Применить патч
Код
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Скачать ZIP
Скачать TAR.GZ
Скачать BUNDLE
Danila Fedorin
ef3dabfa22
Add a MonadRec instance to UnifyT
2023-03-12 21:05:03 -07:00
src/Control/Monad
/Unify
Add a MonadRec instance to UnifyT
2023-03-12 21:05:03 -07:00
test
Copy over implementation of Unify from Bergamot
2023-03-03 22:42:05 -08:00
.gitignore
Initial commit
2023-03-03 22:26:33 -08:00
packages.dhall
Initial commit
2023-03-03 22:26:33 -08:00
spago.dhall
Add a MonadRec instance to UnifyT
2023-03-12 21:05:03 -07:00
Описание
A unification monad implemented using PureScript.
338
KiB
Languages
PureScript
63.3%
Dhall
36.7%
