| http://www.w3.org/ns/prov#value | - On the other hand, Agda is an extremely nice language for dependent typed programming. permalink[???]anaemicpuppy 6 points7 points8 points 2 years ago* (1 child)sorry, this has been archived and can no longer be voted onI am surprised that nobody have mentioned Twelf yet.
|
