mangoiv/dependent-if
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
5 commits 1 branch 0 tags 39 KiB
Commit graph

5 commits

This branch
This branch
All branches
Author SHA1 Message Date
mangoiv 623be39636
[feat] some more things for existential SBools 2023-04-21 12:36:36 +02:00
mangoiv e852373ef1 [feat] udpate .envrc, add .build.yml 2023-01-09 17:48:49 +01:00
mangoiv cf48106f8e things work now, thanks Krzysztof 2022-10-22 16:14:24 +02:00
mangoiv 0947c60c55 switched to polymorphism over SBool :: Bool -> Type and Bool :: Type, encountered GHC bug 2022-10-22 15:57:44 +02:00
mangoiv f5be6bfd3d Initial commit 2022-10-21 13:44:53 +02:00