#795246 RFP: beluga -- Functional programming language designed for formal reasoning

Package:
wnpp
Source:
wnpp
Submitter:
Kristoffer H Rose
Date:
2016-09-26 22:24:05 UTC
Severity:
wishlist