rnhmjoj/interlude
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
experiment with depedent types
2 Commits 1 Branch 0 Tags 90 KiB
Haskell 92.9%
Cabal Config 4.3%
Nix 2.8%
5d7ce06597
Go to file
rnhmjoj 5d7ce06597
Add .gitignore
2016-04-23 18:23:07 +02:00
src Initial commit 2016-04-23 18:22:37 +02:00
.gitignore Add .gitignore 2016-04-23 18:23:07 +02:00
default.nix Initial commit 2016-04-23 18:22:37 +02:00
Interlude.cabal Initial commit 2016-04-23 18:22:37 +02:00
LICENSE Initial commit 2016-04-23 18:22:37 +02:00
Setup.hs Initial commit 2016-04-23 18:22:37 +02:00