4 ms·
Something very similar for Haskell, as a library: http://leventerkok.github.io/sbv/ http://leventerkok.github.io/sbv/
by chpatrick 11y ago
Something very similar for Haskell, as a library: http://leventerkok.github.io/sbv/ http://leventerkok.github.io/sbv/