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
3485
commits
5
branches
0
tags
172
MiB
c31836008e
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