hazel
/
dep
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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.
5 Commits
1 Branch
0 Tags
164 KiB
 
 
Branch: canon
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'canon'
${ noResults }
Hazel Levine 265bcbd4fb
convert to de brujin 		2 years ago
exe init 2 years ago
src/Dep convert to de brujin 2 years ago
.envrc init 2 years ago
.gitignore gitignore 2 years ago
CHANGELOG.md init 2 years ago
LICENSE init 2 years ago
Main.hs init 2 years ago
README.md yeah 2 years ago
Setup.hs init 2 years ago
default.nix init 2 years ago
dep.cabal convert to de brujin 2 years ago
dep.nix init 2 years ago
shell.nix init 2 years 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