swift-pterodactyl/Sources/PterodactylKernel/ at main · jonmsterling.com/swift-pterodactyl

jonmsterling.com / swift-pterodactyl

this repo has no description www.jonmsterling.com/01HC/

dependent-types proof-assistant swift

swift-pterodactyl / Sources / PterodactylKernel /

at main 1 folder 8 files

Fix scope bug in ProgramMatchClause

13 hours ago

ElabError.swift

Kernel: missing copyright headers

4 weeks ago

ElabState.swift

Propagate provenances in unifier

21 hours ago

Environment.swift

Remove unhelpful labelled arguments from APIs

22 hours ago

Judgements.swift

Make the program declarations flat

19 hours ago

NameResolver.swift

Further cleanup and logic fixes

3 weeks ago

Liberalising the grammar for program declarations

19 hours ago

Signature.swift

Value semantics for elaboration sink

3 weeks ago

Make the program declarations flat

19 hours ago