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
3308
commits
5
branches
0
tags
172
MiB
d1b3ca0b4a
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