hazel's dependent typing playground, I guess
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Hazel Levine 265bcbd4fb
convert to de brujin
1 year ago
exe init 1 year ago
src/Dep convert to de brujin 1 year ago
.envrc init 1 year ago
.gitignore gitignore 1 year ago
CHANGELOG.md init 1 year ago
LICENSE init 1 year ago
Main.hs init 1 year ago
README.md yeah 1 year ago
Setup.hs init 1 year ago
default.nix init 1 year ago
dep.cabal convert to de brujin 1 year ago
dep.nix init 1 year ago
shell.nix init 1 year ago

README.md

Dep (tentative name)

alternatively, very-nice3

This is a really dumb Lisp-ish language with dependent types. Right now, there's very little here.

References