jonmsterling.com / swift-pterodactyl
this repo has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
14
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add TODO comment

jonmsterling.com c77546d7 bab207a8

+1
+1
Sources/PterodactylKernel/Rules/Record.swift
··· 68 68 self.fields = fields 69 69 } 70 70 71 + // TODO: refactor this to make the rule very dumb, and move the clever recovery logic into a tactic. 71 72 public func elabTerm(_ env: Environment, type: Value.Type_) async throws(ElabError) -> Trust<Term> { 72 73 switch await type.whnf() { 73 74 case let .recordType(fields: fieldSpecs):