GitHub / josedusol / fc-lh

Fundamentos de la Computación in Liquid Haskell

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/josedusol%2Ffc-lh
PURL: pkg:github/josedusol/fc-lh

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: Haskell
Size: 49.8 KB
Dependencies parsed at: Pending

Created at: almost 2 years ago
Updated at: about 1 year ago
Pushed at: almost 2 years ago
Last synced at: about 1 year ago

Topics: formal-methods, functional-programming, haskell, induction, liquid-haskell, recursion

Loading...