|
1 month ago | |
---|---|---|
exe | 1 month ago | |
src/Dep | 1 month ago | |
.envrc | 1 month ago | |
.gitignore | 1 month ago | |
CHANGELOG.md | 1 month ago | |
LICENSE | 1 month ago | |
Main.hs | 1 month ago | |
README.md | 1 month ago | |
Setup.hs | 1 month ago | |
default.nix | 1 month ago | |
dep.cabal | 1 month ago | |
dep.nix | 1 month ago | |
shell.nix | 1 month ago |
alternatively, very-nice3
This is a really dumb Lisp-ish language with dependent types. Right now, there's very little here.