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

Configure Feed

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

Fix parsing of records

+1 -1
+1 -1
Sources/PterodactylSyntax/Parser.swift
··· 248 248 || universeCodesExpression() 249 249 || identifierExpression() 250 250 || parenthesisedExpression() 251 + || tryRecord() 251 252 } 252 253 253 254 mutating func atomicExpression() { ··· 258 259 259 260 mutating func tryExpression() -> Bool { 260 261 if tryDepFunType() { return true } 261 - if tryRecord() { return true } 262 262 263 263 var handle = structure() 264 264 defer { handle.close() }