GitHub / brianberns / Stlc

Simply-typed lambda calculus

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/brianberns%2FStlc
PURL: pkg:github/brianberns/Stlc

Stars: 2
Forks: 2
Open issues: 0

License: None
Language: F#
Size: 40 KB
Dependencies parsed at: Pending

Created at: over 4 years ago
Updated at: 8 months ago
Pushed at: 8 months ago
Last synced at: 8 months ago

Topics: simply-typed-lambda-calculus

Loading...