narc-rs
narc-rs copied to clipboard
Published
20 hours ago •
owo-lang
owo-lang
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Results
11
narc-rs issues
Sort by
recently updated
recently updated
newest added
As title. http://hackage.haskell.org/package/Agda-2.5.4/docs/src/Agda.TypeChecking.Rules.Application.html#checkApplication
enhancement