This website requires JavaScript.
Explore
Help
Register
Sign in
mdebray
/
tvl-depot
Watch
1
Star
0
Fork
You've already forked tvl-depot
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
3319
commits
5
branches
0
tags
172
MiB
c7547cff19
Commit graph
2 commits
Author
SHA1
Message
Date
Eelco Dolstra
5bc41d78ff
Rename "attribute sets" to "sets"
...
We don't have any other kind of sets so calling them attribute sets is unnecessarily verbose.
2013-10-24 16:41:04 +02:00
Eelco Dolstra
411a3461dc
Add a test of the type primops
2013-10-24 02:51:28 +02:00