Everything-I-Know-About-Types/unifyt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
4c8e62d7a308bada0b9e6f5909255bf343e4749e
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin 4c8e62d7a3 Initial commit
2023-03-03 22:26:33 -08:00
src
Initial commit
2023-03-03 22:26:33 -08:00
test
Initial commit
2023-03-03 22:26:33 -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
Initial commit
2023-03-03 22:26:33 -08:00
Description
A unification monad implemented using PureScript.
338 KiB
Languages
PureScript 63.3%
Dhall 36.7%