on 267f708 help sign in
all commits
66c833dGet foreign effects workingEvan Czaplicki 3bd0d85Primarily rename *Pattern and *Decl to just * in a ton of placesEvan Czaplicki 6d9f01bRemove portsEvan Czaplicki b0beee4Added Facts to Canonical.DefJoeyEremondi 0b499e6When extracting types, use type aliasesEvan Czaplicki cb6a361Add support for generating documentationEvan Czaplicki